For the most recent entries see the Petri Nets Newsletter.

A Trace Semantics for Petri Nets.

Hoogers, P.W.; Kleijn, H.C.M.; Thiagarajan, P.S.

Technical Report No. 91--09. Leiden, The Netherlands: University, Department of Computer Science, 1991.

Also in: Kuich, W.: Lecture Notes in Computer Science, Vol. 623; Automata, Languages and Programming, 19th International Colloquium, ICALP'92, Vienna, Austria, July 13-17, 1992, pages 595-604. Springer-Verlag, 1992. Extended abstract.

Also in: Information and Computation, Vol. 117, No. 1, pages 98-114. 1995.

Abstract: A generalization of the notion of trace is proposed. This enables one to associate with each Petri net a single behavioural object, namely a poset of (generalized) traces. In addition a characterization is given of the trace languages defined by Petri nets. Finally, the authors show that the general event structures and the stable event structures can be characterized in terms of the generalized trace languages.

Keywords: trace semantics (for) net(s); generalized trace; trace language, (defined by nets); general event structure; stable event structure.

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

Back to the Petri Nets Bibliography