In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), 11-14 October 1998, San Diego, CA, pages 49-54. 1998.
Abstract: Partial-order semantics of a Petri net can be defined either by the set of (conflict-free) processes or by one single (and coherent) branching process. Processes are compact and usable for visualization but their systematic simulative construction is difficult and ineffective. Branching processes are an efficient data structure for storing simulation data but tend to become complex and not suitable for visualization. This contribution describes a two-step simulation method to exploit the advantages of both representations and presents an algorithm to construct the set of maximal processes embedded in a given branching process.
Keywords: Petri nets, branching processes, conflict-free processes, partial-order semantics.