In: 91; 3rd Workshop on Concurrency and Compositionality, 1991, Goslar, Germany / Best, E.; et al.: GMD-Studien Nr. 191; Hildesheimer Informatik-Berichte 6, pages 135-142. St. Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung mbH --- Universität Hildesheim (Germany), Institut für Informatik, May 1991.
Abstract: The authors wish to provide a semantics for Petri nets which takes into account the non-sequential and the branching aspects of their behaviours. They show that by generalizing the trace approach, it is possible to associate a single behavioural object --- ie a poset of traces --- with a Petri net. The authors believe that this semantics is more ``abstract'' in its treatment of tokens. They also provide a characterization of the classs of trace languages called PN-trace languages that arise in this fashion.
Keywords: trace semantics; generalized trace; trace language; behavior representation.
Back to the Petri Nets Bibliography