Transactions on Petri Nets and Other Models of Concurrency IIby Wil M. P. van der Aalst, Kurt JensenWriting a summary for young readers…For young readersBook data: Open Library