"Unifying Petri Nets" - читать интересную книгу автора (Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg)