"Petri Nets: Fundamental Models, Verification and Applications" - читать интересную книгу автора (Michel Diaz)