Monografie
Coloured Petri Nets : modeling and validation of concurrent systems
- Sprache
-
Englisch
- Umfang
-
XI, 384 S.
- ISBN
-
978-3-642-00283-0
- Identifier
-
992291429
Thema
Gefärbtes Petri-Netz
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:36 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze
Fuzzy coloured Petri nets for modelling biological systems with uncertain kinetic parameters
Verifiable design of a satellite-based train control system with Petri nets
Simulative analysis of coloured extended stochastic Petri nets
Verifiable Design of a Satellite-based Train Control System with Petri Nets
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Applications and theory of Petri nets : 32nd international conference ; proceedings
Dienstbeschreibungsnetze als Modellierungstechnik für dienstbasierte Geschäftsprozesse
High level Petri nets : theory and application
Spike - a tool for reproducible simulation experiments
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze
Fuzzy coloured Petri nets for modelling biological systems with uncertain kinetic parameters
Verifiable design of a satellite-based train control system with Petri nets
Simulative analysis of coloured extended stochastic Petri nets
Verifiable Design of a Satellite-based Train Control System with Petri Nets
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Applications and theory of Petri nets : 32nd international conference ; proceedings
Dienstbeschreibungsnetze als Modellierungstechnik für dienstbasierte Geschäftsprozesse
High level Petri nets : theory and application
Spike - a tool for reproducible simulation experiments
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze
Fuzzy coloured Petri nets for modelling biological systems with uncertain kinetic parameters
Verifiable design of a satellite-based train control system with Petri nets
Simulative analysis of coloured extended stochastic Petri nets
Verifiable Design of a Satellite-based Train Control System with Petri Nets
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Applications and theory of Petri nets : 32nd international conference ; proceedings
Dienstbeschreibungsnetze als Modellierungstechnik für dienstbasierte Geschäftsprozesse
High level Petri nets : theory and application