Hochschulschrift
Algebraische Spezifikation und Modellierung in Höheren Petri-Netzen mit zustandsabhängiger Schaltregel
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Koblenz, Universität Koblenz-Landau, Dissertation, 1993
- Bibliographic citation
-
KfK-Berichte ; 5279
- Keyword
-
Petri-Netz
Algebraische Spezifikation
Abstrakter Datentyp
Datentyp
Editor
Entwurfssprache
Spezifikation
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT-Bibliothek
- (when)
-
1994
- Creator
-
Düpmeier, C.
- URN
-
urn:nbn:de:swb:90-AAA2000352157
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 PM CET
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, C.
- KIT-Bibliothek
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 von Kooperationsmechanismen in Organisationen mittels Petri-Netzen
Modellierung und Ausführung von Workflows mit 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 von Kooperationsmechanismen in Organisationen mittels Petri-Netzen
Modellierung und Ausführung von Workflows mit 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 von Kooperationsmechanismen in Organisationen mittels Petri-Netzen
Modellierung und Ausführung von Workflows mit 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