Merged processes: a new condensed representation of Petri net behaviour. - Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter (Acta Informatica, 2006)