Data decision diagrams for Petri net analysis
JM Couvreur, E Encrenaz, E Paviot-Adet… - Application and Theory …, 2002 - Springer
JM Couvreur, E Encrenaz, E Paviot-Adet, D Poitrenaud, PA Wacrenier
Application and Theory of Petri Nets 2002: 23rd International Conference …, 2002•SpringerThis 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.
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.
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.
Springer
Showing the best result for this search. See all results