"Lectures on Petri nets I: Basic models" - читать интересную книгу автора (Wolfgang Reisig, Grzegorz Rozenberg)