GUŢULEAC, Emilian; ODOBESCU, Diana; GUŢULEAC, Emilia E.
(Technical University of Moldova, 2005)
Petri nets (PN) are well established to support the modeling and simulation of parallel and concurrent systems and represent a well-known and widely used formalism. Coloured Petri Nets (CPN) have been introduced to allow ...