.CATANIA, V., A..PULIAFITO, M. Scarpa, and L..VITA,  "Concurrent Generalized Petri Nets",  Computations with Markov Chains, Amsterdam, Kluwer Academic Publishers, pp. 359?382, 18 January, 1995.