×
Bobeanu, Carmen-Veronica; Kerckhoffs, Eugene J. H.; Van Landeghem, Hendrik

Modeling of discrete event systems: a holistic and incremental approach using Petri nets. (English) Zbl 1390.93524

ACM Trans. Model. Comput. Simul. 14, No. 4, 389-423 (2004).

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)

Keywords:

algebraic structures; DEVS; Petri nets; experimental frame; structural modeling
Cite Review PDF
Full Text: DOI