@article{1482906,
      recid = {1482906},
      author = {Bocewicz, Grzegorz,},
      title = {Declarative models of concurrent cyclic processes /},
      pages = {1 online resource (xix, 178 pages) :},
      abstract = {This monograph presents a new declarative approach  dedicated to the analysis of behaviors and synthesis of  structures of Systems of Cyclic Concurrent Multimodal  Processes (SCCMP). These kinds of problems are some of the  most difficult cyclic scheduling problems - both from the  computational side and the complexity of the models used.  SCCMP is understood as a set of processes (in particular,  multimodal processes) that execute operations cyclically on  a set of jointly used (shared) resources (processors,  machines, means of transport, etc.). They model the  functioning of numerous systems encountered in practical  settings and which are characterized by cyclic (periodic)  behavior. 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. This feature implies that  computationally-efficient algorithms need to be sought.  They would enable the evaluation of selected aspects of the  considered system's functions, such as service costs,  transport time, etc., in real-time mode. In that context,  the presented monograph fills the gap in the field of SCCMP  modeling. Its aim is to present declarative models of  systems of cyclic multimodal processes. Such models allow  developing computationally-efficient methods of analysis of  the behavior and synthesis of the structure of SCCMP.},
      url = {http://library.usi.edu/record/1482906},
      doi = {https://doi.org/10.1007/978-3-031-40552-5},
}