Hochschulschrift
Algebraische Spezifikation und Modellierung in höheren Petri-Netzen mit zustandsabhängiger Schaltregel
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
VI, 147 S.
- Edition
-
Als Ms. vervielfältigt
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Koblenz, Landau, Univ., Diss.
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
Kernforschungszentrum
- (when)
-
1994
- Creator
-
Düpmeier, Clemens
- 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:39 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
- Düpmeier, Clemens
- Kernforschungszentrum
Time of origin
- 1994
Other Objects (12)
Algebraische Spezifikation und Modellierung in Höheren Petri-Netzen mit zustandsabhängiger Schaltregel
Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen
Modellierung und Ausführung von Workflows mit Petri-Netzen
Modellierung von Kooperationsmechanismen in Organisationen mittels Petri-Netzen
NetCase : Softwareentwurf und Workflow-Modellierung mit Petri-Netzen
Integritätsbedingungen in Petri-Netzen
Anwendungen von Petri-Netzen
Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen
Starke Färbbarkeit in Petri-Netzen
Funktionale Äquivalenz von Petri-Netzen
Nichtdeterministische algebraische Spezifikationen
Nichtdeterministische algebraische Spezifikationen
Algebraische Spezifikation und Modellierung in Höheren Petri-Netzen mit zustandsabhängiger Schaltregel
Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen
Modellierung und Ausführung von Workflows mit Petri-Netzen
Modellierung von Kooperationsmechanismen in Organisationen mittels Petri-Netzen
NetCase : Softwareentwurf und Workflow-Modellierung mit Petri-Netzen
Integritätsbedingungen in Petri-Netzen
Anwendungen von Petri-Netzen
Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen
Starke Färbbarkeit in Petri-Netzen
Funktionale Äquivalenz von Petri-Netzen
Nichtdeterministische algebraische Spezifikationen
Nichtdeterministische algebraische Spezifikationen
Algebraische Spezifikation und Modellierung in Höheren Petri-Netzen mit zustandsabhängiger Schaltregel
Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen
Modellierung und Ausführung von Workflows mit Petri-Netzen
Modellierung von Kooperationsmechanismen in Organisationen mittels Petri-Netzen
NetCase : Softwareentwurf und Workflow-Modellierung mit Petri-Netzen
Integritätsbedingungen in Petri-Netzen
Anwendungen von Petri-Netzen
Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen
Starke Färbbarkeit in Petri-Netzen
Funktionale Äquivalenz von Petri-Netzen
Nichtdeterministische algebraische Spezifikationen