"Modular Construction and Partial Order Semantics of Petri Nets " - читать интересную книгу автора (Walter Vogler)