Hochschulschrift
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Cottbus, Techn. Univ., Diss., 2008
- Keyword
-
Petri-Netz ; Model Checking
- Creator
- URN
-
urn:nbn:de:kobv:co1-opus-10294
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic timing diagrams : a visual formalism for model verification
Symbolic timing diagrams : a visual formalism for model verification
Symbolic on-the-fly analysis of stochastic Petri nets
Symbolic on-the-fly analysis of stochastic Petri nets
Numerical analysis of Lattice Boltzmann methods for the heat equation on a bounded interval
Linking visual formalisms : a compositional proof system for statecharts based on symbolic timing diagrams
ESPRIT project 125 - GRASPIN, [...]. Symbolic execution of nets using rewrite systems / Harald-Reto Fonio
Synthesis of bounded Petri nets from prime event structures with cutting context using wrong continuations
Diagrams
Diagrams
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic timing diagrams : a visual formalism for model verification
Symbolic timing diagrams : a visual formalism for model verification
Symbolic on-the-fly analysis of stochastic Petri nets
Symbolic on-the-fly analysis of stochastic Petri nets
Numerical analysis of Lattice Boltzmann methods for the heat equation on a bounded interval
Linking visual formalisms : a compositional proof system for statecharts based on symbolic timing diagrams
ESPRIT project 125 - GRASPIN, [...]. Symbolic execution of nets using rewrite systems / Harald-Reto Fonio
Synthesis of bounded Petri nets from prime event structures with cutting context using wrong continuations
Diagrams
Diagrams
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic timing diagrams : a visual formalism for model verification
Symbolic timing diagrams : a visual formalism for model verification
Symbolic on-the-fly analysis of stochastic Petri nets
Symbolic on-the-fly analysis of stochastic Petri nets
Numerical analysis of Lattice Boltzmann methods for the heat equation on a bounded interval
Linking visual formalisms : a compositional proof system for statecharts based on symbolic timing diagrams
ESPRIT project 125 - GRASPIN, [...]. Symbolic execution of nets using rewrite systems / Harald-Reto Fonio
Synthesis of bounded Petri nets from prime event structures with cutting context using wrong continuations
Diagrams