Теория сетей Петри и моделирование систем: пер. с англ. - Питерсон Дж. Джеймс (Москва, Мир, 1984)