Hochschulschrift

Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783861115526
3861115522
Maße
21 cm
Umfang
IX, 127 S.
Ausgabe
Als Ms. gedr.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Zugl.: Dresden, Technische Univ., Diss., 1993

Schlagwort
Automation
Steuerungstechnik
Petri-Netz
Mathematisches Modell

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Shaker
(wann)
1993
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 12:20 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 1993

Ähnliche Objekte (12)

Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen

Hochschulschrift

Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen

Symbolische LTL-Verifikation von Petrinetzen

Hochschulschrift

Symbolische LTL-Verifikation von Petrinetzen

Symbolische LTL-Verifikation von Petrinetzen

Hochschulschrift

Symbolische LTL-Verifikation von Petrinetzen

Formale Verifikation digitaler Systeme mit Petrinetzen

Hochschulschrift

Formale Verifikation digitaler Systeme mit Petrinetzen

Formale Verifikation digitaler Systeme mit Petrinetzen

Hochschulschrift

Formale Verifikation digitaler Systeme mit Petrinetzen

Verifikation von halbgeordneten Abläufen in Petrinetzen

Hochschulschrift

Verifikation von halbgeordneten Abläufen in Petrinetzen

Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen

Hochschulschrift

Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen

Modellierung von Kooperationsmechanismen in Organisationen mittels Petri-Netzen

Hochschulschrift

Modellierung von Kooperationsmechanismen in Organisationen mittels Petri-Netzen

Modellierung und Ausführung von Workflows mit Petri-Netzen

Modellierung und Ausführung von Workflows mit Petri-Netzen

Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]

Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]

NetCase : Softwareentwurf und Workflow-Modellierung mit Petri-Netzen

Hochschulschrift

NetCase : Softwareentwurf und Workflow-Modellierung mit Petri-Netzen

Anwendungen von Petri-Netzen

Anwendungen von Petri-Netzen

Verbundene Objekte