Hochschulschrift
Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783861115526
3861115522
- Dimensions
-
21 cm
- Extent
-
IX, 127 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Dresden, Technische Univ., Diss., 1993
- Keyword
-
Automation
Steuerungstechnik
Petri-Netz
Mathematisches Modell
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:33 PM 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
- Winkler, Jörg
- Shaker
Time of origin
- 1993
Other Objects (12)
Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Verifikation von halbgeordneten Abläufen in Petrinetzen
Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen
Modellierung von Kooperationsmechanismen in Organisationen mittels Petri-Netzen
Modellierung und Ausführung von Workflows mit Petri-Netzen
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
NetCase : Softwareentwurf und Workflow-Modellierung mit Petri-Netzen
Integritätsbedingungen in Petri-Netzen
Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Verifikation von halbgeordneten Abläufen in Petrinetzen
Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen
Modellierung von Kooperationsmechanismen in Organisationen mittels Petri-Netzen
Modellierung und Ausführung von Workflows mit Petri-Netzen
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
NetCase : Softwareentwurf und Workflow-Modellierung mit Petri-Netzen
Integritätsbedingungen in Petri-Netzen
Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Verifikation von halbgeordneten Abläufen in Petrinetzen
Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen
Modellierung von Kooperationsmechanismen in Organisationen mittels Petri-Netzen
Modellierung und Ausführung von Workflows mit Petri-Netzen
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
NetCase : Softwareentwurf und Workflow-Modellierung mit Petri-Netzen