Concurrent object-oriented programming and Petri Nets : advances in Petri Nets - Agha, Gul A. (Springer, 2001)