Concurrent object-oriented programming and Petri Nets : advances in Petri Nets - Agha, Gul A.; De Cindio, Fiorella; Rozenberg, Grzegorz, 1942- (Lecture notes in computer science ;, 2001)