For the most recent entries see the Petri Nets Newsletter.

How to construct maximal conflict-free processes from Petri net simulations.

Freytag, T.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography