Understanding Petri nets : modeling techniques, analysis methods, case studies
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642332777
3642332773
- Maße
-
25 cm
- Umfang
-
XXVI, 230 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Schlagwort
-
Petri-Netz
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg
- (wer)
-
Springer
- (wann)
-
2013
- Urheber
- Beteiligte Personen und Organisationen
-
Reisig, Wolfgang
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:46 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Reisig, Wolfgang
- Reisig, Wolfgang
- Springer
Entstanden
- 2013
Ähnliche Objekte (12)
Modeling and analysis of operating systems using extended QN techniques and Petri nets
Slicing and reduction techniques for model checking Petri nets
Slicing and reduction techniques for model checking Petri nets
Semiconductor modeling techniques
Understanding formal methods
Coloured Petri Nets : modeling and validation of concurrent systems
Multilingual FrameNets in computational lexicography : methods and applications
Understanding polar atmosphere-ocean-sea ice momentum transfer using remote sensing and modeling techniques
Elements of distributed algorithms : modeling and analysis with Petri nets
Performance and dependability modeling with stochastic Petri nets : 22.05. - 26.05.95
Modeling of dynamic systems with Petri nets and fuzzy logic
Higher order object nets and their application to workflow modeling
Modeling and analysis of operating systems using extended QN techniques and Petri nets
Slicing and reduction techniques for model checking Petri nets
Slicing and reduction techniques for model checking Petri nets
Semiconductor modeling techniques
Understanding formal methods
Coloured Petri Nets : modeling and validation of concurrent systems
Multilingual FrameNets in computational lexicography : methods and applications
Understanding polar atmosphere-ocean-sea ice momentum transfer using remote sensing and modeling techniques
Elements of distributed algorithms : modeling and analysis with Petri nets
Performance and dependability modeling with stochastic Petri nets : 22.05. - 26.05.95
Modeling of dynamic systems with Petri nets and fuzzy logic
Higher order object nets and their application to workflow modeling
Modeling and analysis of operating systems using extended QN techniques and Petri nets
Slicing and reduction techniques for model checking Petri nets
Slicing and reduction techniques for model checking Petri nets
Semiconductor modeling techniques
Understanding formal methods
Coloured Petri Nets : modeling and validation of concurrent systems
Multilingual FrameNets in computational lexicography : methods and applications
Understanding polar atmosphere-ocean-sea ice momentum transfer using remote sensing and modeling techniques
Elements of distributed algorithms : modeling and analysis with Petri nets
Performance and dependability modeling with stochastic Petri nets : 22.05. - 26.05.95
Modeling of dynamic systems with Petri nets and fuzzy logic