DFG Forschergruppe "Petrinetz-Technologie"

Kick-Off Workshop Publikationen

Der Tagungsband ist veröffentlicht in:

Hartmut Ehrig, Wolfgang Reisig, Herbert Weber (Eds.):
Kick-Off-Workshop der DFG-Forschergruppe "Petrinetz-Technologie".
Informatik-Berichte 73, Humboldt-Universität zu Berlin, Dezember 1996.

Inhalt:

Alexander Borusan:
Requirements on Petri Net Technique from Point of View of System Development Process.

Ekkart Kindler, Jörg Desel:
Der Traum von einem universellen Petrinetz-Werkzeug -- der Petrinetz-Kern.

Ekkart Kindler, Wolfgang Reisig:
Algebraic System Nets for Modelling Distributed Algorithms.

Olaf Fricke:
Statechart-orientierte Modellierung mit höheren Petrinetzen.

Tobias Vesper:
Beweisregeln für Runden.

M. Gajewsky, S. Lembke, J. Padberg:
Parametrisierung von FUNSOFT-Netzen für die flexible Modellierung von Workflow-Modellen.

S. Lembke:
Anwendungsentwicklung in der LION-Entwicklungsumgebung (LEU).

Alfio Martini, Uwe Wolter:
Specification Concepts for Data Types in High-Level-Nets.

Anne Merten, Julia Padberg:
Grundzüge der regelbasierten Verfeinerung von Petrinetzen.

Letzte Änderung: 19. Dezember 1997