"Transactions on Petri Nets and Other Models of Concurrency II" - читать интересную книгу автора (Wil M. P. van der Aalst, Kurt Jensen)