Hochschulschrift

Integritätsbedingungen in Petri-Netzen

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
21 cm
Umfang
VI, 181 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Koblenz, Landau, Univ., Diss., 1993

Schlagwort
Petri-Netz
Handlungslogik
Petri-Netz
Aussagenlogik
Prädikatenlogik

Urheber
Fidelak, Manfred

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:27 MESZ

Datenpartner

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

Objekttyp

  • Hochschulschrift

Beteiligte

  • Fidelak, Manfred

Ähnliche Objekte (12)

Starke Färbbarkeit in Petri-Netzen

Hochschulschrift

Starke Färbbarkeit in Petri-Netzen

Funktionale Äquivalenz von Petri-Netzen

Hochschulschrift

Funktionale Äquivalenz von Petri-Netzen

Anwendungen von Petri-Netzen

Anwendungen von Petri-Netzen

Zerlegung von diskreten Systemen mit Petri-Netzen

Hochschulschrift

Zerlegung von diskreten Systemen mit Petri-Netzen

Kennzahlenbasiertes Management von Geschäftsprozessen mit Petri-Netzen

Hochschulschrift

Kennzahlenbasiertes Management von Geschäftsprozessen mit Petri-Netzen

Hierarchische Analyse technischer Systeme mit Petri-Netzen

Hochschulschrift

Hierarchische Analyse technischer Systeme mit Petri-Netzen

Synthese von Petri-Netzen und objektorientierten Konzepten

Hochschulschrift

Synthese von Petri-Netzen und objektorientierten Konzepten

Modellierung von Kooperationsmechanismen in Organisationen mittels Petri-Netzen

Hochschulschrift

Modellierung von Kooperationsmechanismen in Organisationen mittels Petri-Netzen

Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen

Hochschulschrift

Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen

CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen

Hochschulschrift

CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen

CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen

Hochschulschrift

CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen

Modellbildung und Analyse ereignisorientierter Systeme mit Petri-Netzen

Hochschulschrift

Modellbildung und Analyse ereignisorientierter Systeme mit Petri-Netzen

Verbundene Objekte