Data Decision Diagrams for Petri Net Analysis

Data Decision Diagrams for Petri Net Analysis

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Couvreur, Jean-Michel, Encrenaz, Emmanuelle, Paviot-Adet, Emmanuel, Poitrenaud, Denis, Wacrenier, Pierre-André
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Computer Science
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Decision Diagram
Exact sciences and technology
Petri Nets
Software
System verification
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-48068-4_8