Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets - Gul A. Agha, Fiorella Cindio, Grzegorz Rozenberg ((Lecture Notes in Computer Science))