Modeling of discrete event systems: A holistic and incremental approach using Petri nets

Carmen-Veronica Bobeanu, Eugene J. H. Kerckhoffs, Hendrik Van Landeghem. Modeling of discrete event systems: A holistic and incremental approach using Petri nets. ACM Trans. Model. Comput. Simul., 14(4):389-423, 2004. [doi]

Abstract

Abstract is missing.