For the most recent entries see the Petri Nets Newsletter.

Data Decision Diagrams for Petri Net Analysis.

Couvreur, Jean-Michel; Encrenaz, Emmanuelle; Paviot-Adet, Emmanuel; Poitrenaud, Denis; Wacrenier, Pierre-André

In: J. Esparza, C. Lakos (Eds.): Lecture Notes in Computer Science, Vol. 2360: 23rd International Conference on Applications and Theory of Petri Nets, Adelaide, Australia, June 24-30, 2002, pages 1-101pp. Springer Verlag, June 2002.

Abstract: This paper presents a new data structure, the Data Decision Diagrams, equipped with a mechanism allowing the definition of application-specific operators. This mechanism is based on combination of inductive linear functions offering a large expressiveness while alleviating for the user the burden of hard coding traversals in a shared data structure. We demonstrate the pertinence of our system through the implementation of a verification tool for various classes of Petri nets including self modifying and queuing nets.

Keywords: Petri Nets; Decision Diagram; System verification.


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

Back to the Petri Nets Bibliography