DFG Forschergruppe "Petrinetz-Technologie"

Move-On Workshop Publikationen

Der Tagungsband ist veröffentlicht in:

Hartmut Ehrig, Wolfgang Reisig, Herbert Weber (Eds.):
Move-On-Workshop der DFG-Forschergruppe "Petrinetz-Technologie".
Forschungsberichte des Fachbereichs Informatik No. 97-21, Technische Universität Berlin, April 1997.

Inhalt:

Hartmut Ehrig, Magdalena Gajewsky, Sabine Lembke, Julia Padberg, Volker Gruhn:
Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications.

Hartmut Ehrig, Anne Merten, Julia Padberg:
How to Transfer Concepts of Abstract Data Types to Petri Nets.

Hartmut Ehrig, Julia Padberg:
Introduction to Universal Parameterized Net Classes.

Claudia Ermel, Magdalena Gajewsky, Tobias Vesper, Michael Weber:
Verifikation strukturierter Netze.

Olaf Fricke:
Data Encapsulation and Data Abstraction with Petri Nets - a graphical Visualization of Modules.

Olaf Fricke, Alexander Borusan, Tobias Vesper, Ekkart Kindler:
Verifikation im Vorgehensmodell anhand eines Beispiels.

Ekkart Kindler:
Der Petrinetz-Kern: Ein Traum wird wahr.

Sabine Lembke:
Die Referenzanwendung WIS-Liegenschaftsverwaltung: Verwendete FUNSOFT-Konzepte und Essentials der Modellierung.

Sibylle Peuker:
Invariant property preserving extensions of elementary Petri nets.

Wolfgang Reisig:
Verteilte Algorithmen: Nutzen sie der Forschergruppe?

Herbert Weber:
The >>Petri Net Baukasten<< Foundation Concept.

Michael Weber:
CASSY: Einige Gründe zur Verwendung von Petrinetzen.

Letzte Änderung: 24. März 1998