DFG Forschergruppe

Petri Net Technology (PNT)

sponsored by the Deutsche Forschungsgemeinschaft (DFG)		  

Project Publications


Essential part of the proposal (in German).

Proceedings of the Kick-Off Workshop

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.

Proceedings of the Move-On Workshop

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, November 1997.

Initial Realization of the »Petri Net Baukasten«

DFG-Forschergruppe Petri Net Technology

Initial Realization of the »Petri Net Baukasten«.

Other publications:

Olaf Fricke:
Data Encapsulation and Data Abstraction with Petri Nets -- a graphical Visualization of Modules.
In Proceedings of the Workshop "Petri Nets in System Engineering" (PNSE'97), Hamburg, September 1997.

Ekkart Kindler:
Der Petrinetz-Kern: Ein einfaches Anwendungsbeispiel.
In Proceedings of the 4th Workshop "Algorithmen und Werkzeuge für Petrinetze", Berlin, October 1997.

Ekkart Kindler, Jörg Desel:
Der Traum von einem universellen Petrinetz-Werkzeug -- der Petrinetz-Kern.
In Proceedings of the 3rd Workshop "Algorithmen und Werkzeuge für Petrinetze", Karlsruhe, October 1996.

Ekkart Kindler, Tobias Vesper:
Automatisch überprüfbare Beweistechniken für algebraische Petrinetze.
In Proceedings of the 3rd Workshop "Algorithmen und Werkzeuge für Petrinetze", Karlsruhe, October 1996.

Ekkart Kindler, Tobias Vesper:
A Temporal Logic for Events and States in Petri Nets.
In Proceedings of the Workshop "Petri Nets in System Engineering" (PNSE'97), Hamburg, September 1997.

Ekkart Kindler, Tobias Vesper:
ESTL: A Temporal Logic for Events and States.
Informatik-Berichte der HU Berlin, No. 87, November 1997.

Michael Weber:
Der Petrinetz-Kern - Eine Aufteilung in Invariantes und Variables.
In Proceedings of the 4th Workshop "Algorithmen und Werkzeuge für Petrinetze", Berlin, October 1997.

J. Padberg:
The »Petri Net Baukasten«: An Application-Oriented Petri Net Technology
Proceedings of the Colloquium on Petri Net Technologies for Modelling Communication Based Systems,
Organizer: DFG Research Group ``Petri Net Technology'' , H. Weber, H. Ehrig, and W. Reisig (eds.)
Fraunhofer ISST, 1999

J. Padberg:
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems
Applied Categorical Structures, Volume 7, Issue 4, December 1999, pp. 371-403

M. Gajewsky:
The Expert View of the »Petri Net Baukasten«
Proceedings of the Colloquium on Petri Net Technologies for Modelling Communication Based Systems,
Organizer: DFG Research Group ``Petri Net Technology'' , H. Weber, H. Ehrig, and W. Reisig (eds.)
Fraunhofer ISST, pp. 243-265, 1999

J. Padberg, M. Gajewsky, and K. Hoffmann:
Incremental Development of Safety Properties in Petri Net Transformations
Proceedings of TAGT'98, Paderborn, Springer Verlag, LNCS, to appear

H. Ehrig, M. Gajewsky, and F. Parisi-Presicce:
High-Level Replacement Systems applied to Algebraic Specifications and Petri Nets
Handbook of Graph Grammars and Computing by Graph Transformation, Vol. III: Concurrency, Parallelism and Distribution
H. Ehrig, H.-J. Kreowski, U. Montanari, G. Rozenberg(eds.), World Scientific, pp. 341-400

J. Padberg, L. Jansen, H. Ehrig and E. Schnieder:
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets
Special Issue, Society for Design and Process Science (SDPS) '99

J. Padberg, M. Gajewsky, C. Ermel:
Rule-Based Refinement of High-Level Nets Preserving Safety Properties
Proceedings of ETAPS-FASE, LNCS Vol. 1382, pp. 221 - 238, Springer 1998

J. Padberg, L. Jansen, R. Heckel and H. Ehrig:
Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets
Proceedings of IDPT 1998 (Integrated Design and Process Technology),
Berlin 1998, pp. 17-28

H. Ehrig, R. Heckel, G. Rozenberg and J. Padberg:
Graph Transformations and Other Rule-Based Formalisms with Incomplete Informations
Proceedings of TAGT'98, Paderborn, Germany, November 1998, pp. 268-278

J.Padberg:
Classification of Petri Nets Using Adjoint Functors
Bulletin of the EATCS, Vol. 66, October 1998, pp. 85-91

J.Padberg:
Abstract Petri Nets as a Uniform Approach to High-Level Nets
Proceedings of WADT'98, Lisba, Portugal

H. Ehrig, M. Gajewsky, U. Wolter:
From Abstract Data Types to Algebraic Development Techniques: A Shift of Paradigms
Proceedings of WADT '97 in Tarquinia, LNCS Vol. 1376, pp. 1-17, Springer 1998

H. Ehrig, M. Gajewsky, J. Padberg:
Action Nets and Abstract Statecharts in the Theory of High-Level Replacement Systems
Technical Report, TU Berlin, FB 13, No. 97-14.

H. Ehrig, R. Geisler, M. Klar, J. Padberg:
Horizontal and Vertical Structuring Techniques for Statecharts
Proceedings of CONCUR'97, Warsawa, Poland, LNCS Vol. 1243, pp. 181 - 195, Springer 1997

H. Ehrig, J. Padberg:
A Uniform Approach to Petri Net
Foundations of Computer Science: Potential - Theory - Cognition
Ch. Freksa, M. Jantzen, R. Valk (eds.), LNCS Vol. 1337, Springer 1997

H. Ehrig, W. Reisig:
An Algebraic View on Petri Nets
The Formal Specification Column, EATCS Bulletin, Vol. 61, February 1997

C. Ermel:
Anforderungsanalyse eines medizinischen Informationssystems mit algebraischen High-Level-Netzen
Technical Report, TU Berlin, FB 13, No. 96-15

C. Ermel, M. Gajewsky:
Expanding the Use of Structuring - Formal Justification for Working on Subnets
Proceedings of the Workshop Petri Nets in System Engineering (PNSE'97),
Technical Report No. FBI-HH-B-205/97, University of Hamburg, 1997.

C. Ermel, A. Martini:
A Taste of Categorical Petri Nets
Technical Report, TU Berlin, FB 13, No. 96-9

C. Ermel, J. Padberg:
Formalization of Variables in Algebraic High-Level Nets
Technical Report, TU Berlin, FB 13, No. 97-19

C. Ermel, J. Padberg, H. Ehrig:
Requirements Engineering of a Medical Information System using Rule-based Refinement of Petri Nets
Proc. IDPT Conference (Integrated Design and Process Technology), Austin (Texas), December 1996.

J. Padberg:
An Outline of Rule-Based Refinement for Petri Nets
Proc. of the Colloqium on Formal Methods for Concurrency by the Gesellschaft für Informatik SIG 0.0.1 and SIG 0.1.7
(J. Desel, H. Reichel, eds.), 1996, Technical University of Dresden, TUD/FI/ 96/16.

 

Last Modified: June 6th, 2000