- Sprache
-
Englisch
- Identifier
-
1127580922
Thema
Stochastisches Modell; Gefärbtes Petri-Netz; Model Checking; Hochschulschrift
Beteiligte Personen und Organisationen
Rohr, Christian
Heiner, Monika
Marwan, Wolfgang
Gilbert, David
Heiner, Monika
Marwan, Wolfgang
Gilbert, David
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
- Rohr, Christian
- Heiner, Monika
- Marwan, Wolfgang
- Gilbert, David
Ähnliche Objekte (12)
Spike - a tool for reproducible simulation experiments
Fuzzy coloured Petri nets for modelling biological systems with uncertain kinetic parameters
Symbolic on-the-fly analysis of stochastic Petri nets
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Slicing and reduction techniques for model checking Petri nets
Slicing and reduction techniques for model checking Petri nets
Dienstbeschreibungsnetze als Modellierungstechnik für dienstbasierte Geschäftsprozesse
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Coloured Petri Nets : modeling and validation of concurrent systems
Colored Petri Nets for systems biology
Spike - a tool for reproducible simulation experiments
Fuzzy coloured Petri nets for modelling biological systems with uncertain kinetic parameters
Symbolic on-the-fly analysis of stochastic Petri nets
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Slicing and reduction techniques for model checking Petri nets
Slicing and reduction techniques for model checking Petri nets
Dienstbeschreibungsnetze als Modellierungstechnik für dienstbasierte Geschäftsprozesse
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Coloured Petri Nets : modeling and validation of concurrent systems
Colored Petri Nets for systems biology
Spike - a tool for reproducible simulation experiments
Fuzzy coloured Petri nets for modelling biological systems with uncertain kinetic parameters
Symbolic on-the-fly analysis of stochastic Petri nets
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Slicing and reduction techniques for model checking Petri nets
Slicing and reduction techniques for model checking Petri nets
Dienstbeschreibungsnetze als Modellierungstechnik für dienstbasierte Geschäftsprozesse
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Coloured Petri Nets : modeling and validation of concurrent systems