"Transactions on Petri Nets and Other Models of Concurrency IV " - читать интересную книгу автора (Kurt Jensen, Susanna Donatelli, Maciej Koutny)