Concurrent Object-Oriented Programming and Petri Nets Advances in Petri Nets - Agha, Gul A.; Agha, Gul A.; De Cindio, Fiorella; De Cindio, Fiorella; Rozenberg, Grzegorz; Rozenberg, Grzegorz (Springer Berlin Heidelberg : Imprint: Springer, 2001)