"Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets" - читать интересную книгу автора (Wolfgang Reisig)