Decomposition and protocols in high-level Petri nets - Rambags, Paul Michel Peter (Technická univerzita, 1994)