High-level Petri netsby K. Jensen, Grzegorz RozenbergPetri netsWriting a summary for young readers…For young readersBook data: Open Library