Data Decision Diagrams for Petri Net Analysis

  title={Data Decision Diagrams for Petri Net Analysis},
  author={Jean-Michel Couvreur and Emmanuelle Encrenaz-Tiph{\`e}ne and Emmanuel Paviot-Adet and Denis Poitrenaud and Pierre-Andr{\'e} Wacrenier},
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… CONTINUE READING
Highly Cited
This paper has 63 citations. REVIEW CITATIONS
35 Citations
9 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 35 extracted citations

64 Citations

Citations per Year
Semantic Scholar estimates that this publication has 64 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…