"Concurrent Object-Oriented Programming and Petri Nets" - читать интересную книгу автора (Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg)