Declarative Models of Concurrent Cyclic Processes

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.