Declarative models of concurrent cyclic processes
Auteur :
Bocewicz, Grzegorz
Éditeur :
Springer International Publishing AG
ISBN :
9783031405549
Date de publication :
31 oct. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
Typical examples are the passenger railway system, the manufacturing system, the transportation system, and etc.Considered problems, i.e., the behavior analysis problem, the structure prototyping problem, and the problem of mutual reachability of various SCCMP behaviors, are strongly NP-hard.