"Теория сетей Петри и моделирование систем" - читать интересную книгу автора (Питерсон Джеймс)