"Petri Net Technology for Communication-Based Systems: Advances in Petri Nets " - читать интересную книгу автора (Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber)