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
-
14.08.2025, 11:00 AM CEST
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
A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams
Interval-Bounded Operators And Order-Weakly Compact Operators Of Riesz Spaces
Linking visual formalisms : a compositional proof system for statecharts based on symbolic timing diagrams
Free scalar field theory on a Sobolev space over a bounded interval
ESPRIT project 125 - GRASPIN, [...]. Symbolic execution of nets using rewrite systems / Harald-Reto Fonio
On the Number of Eigenvalues of the Dirac Operator in a Bounded Interval
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
A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams
Interval-Bounded Operators And Order-Weakly Compact Operators Of Riesz Spaces
Linking visual formalisms : a compositional proof system for statecharts based on symbolic timing diagrams
Free scalar field theory on a Sobolev space over a bounded interval
ESPRIT project 125 - GRASPIN, [...]. Symbolic execution of nets using rewrite systems / Harald-Reto Fonio
On the Number of Eigenvalues of the Dirac Operator in a Bounded Interval
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
A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams
Interval-Bounded Operators And Order-Weakly Compact Operators Of Riesz Spaces
Linking visual formalisms : a compositional proof system for statecharts based on symbolic timing diagrams
Free scalar field theory on a Sobolev space over a bounded interval
ESPRIT project 125 - GRASPIN, [...]. Symbolic execution of nets using rewrite systems / Harald-Reto Fonio