Eugene J. H. Kerckhoffs;Hassane Alla;Carmen Veronica Bobeanu
-;-;-
Modeling of discrete event systems: A holistic and incremental approach using Petri nets
ACM Transactions on Modeling and Computer Simulation (TOMACS)