A high-level petri net specification of the Cambridge fast ring M-access serviceby Jonathan BillingtonWriting a summary for young readers…For young readersBook data: Open Library