related documents Merged Processes — A New Condensed Representation of Petri Net Behaviour Conferences
