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

https://hal.archives-ouvertes.fr/hal-01544997
Contributor : Lip6 Publications <>
Submitted on : Thursday, June 22, 2017 - 1:26:35 PM
Last modification on : Thursday, March 21, 2019 - 1:00:08 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

71