Skip to Main content Skip to Navigation
Conference papers

Data Decision Diagrams for Petri Net analysis

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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Thursday, June 22, 2017 - 1:26:35 PM
Last modification on : Tuesday, October 29, 2019 - 10:02:02 AM

Links full text



Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier. Data Decision Diagrams for Petri Net analysis. 23th International Conference on Application and Theory of Petri Nets, Jun 2002, Adelaide, Australia. pp.101-120, ⟨10.1007/3-540-48068-4_8⟩. ⟨hal-01544997⟩



Record views