Merged Processes - A New Condensed Representation of Petri Net Behaviour.

Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler

Browse the full CONCUR paper archive.