Modeling of discrete event systems: a holistic and incremental approach using Petri nets. (English) Zbl 1390.93524
MSC:
93C65 | Discrete event control/observation systems |
68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |
93A30 | Mathematical modelling of systems (MSC2010) |