Application and Theory of Petri Nets and Concurrencyby Didier Buchs, Josep CarmonaWriting a summary for young readers…For young readersBook data: Open Library