Clans of Petri Nets: Verification of protocols and performance evaluation of networksby Dmitry ZaitsevWriting a summary for young readers…For young readersBook data: Open Library