Asynchronous Communication of Petri Nets and the Refinement of Transitions.

Walter Vogler

Browse the full ICALP paper archive.