Gul Agha Fiorella de Cindio Grzegorz Rozenberg Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2001 Springer 2001 3-540-41942-X db/conf/cooppn/cooppn2001.html