for each new firing a fresh transition (called an event) is generated ... truncated (by identifying a set of cut-off events) without loss of essential ...
Merged processes a new condensed representation of Petri net behaviour V.Khomenko1, A.Kondratyev2, M.Koutny1 and W.Vogler3 1University of Newcastle upon Tyne