For the most recent entries see the
Petri Nets Newsletter.
Ehrig, H.
-
Ehrig, Hartmut;
Prange, Ulrike:
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations.
2006.
-
Padberg, Julia;
Ehrig, Hartmut:
Petri Net Modules in the Transformation-Based Component Framework.
2006.
-
Varró, Dániel;
Varró-Gyapay, Szilvia;
Ehrig, Hartmut;
Prange, Ulrike;
Taentzer, Gabriele:
Termination Analysis of Model Transformations by Petri Nets.
2006.
-
Baldan, P.;
Corradini, A.;
Ehrig, H.;
Heckel, R.:
Compositional semantics for open Petri nets based on deterministic processes.
2005.
-
Ehrig, Hartmut;
Ehrig, Karsten;
de Lara, Juan;
Taentzer, Gabriele;
Varró, Dániel;
Varró-Gyapay, Szilvia:
Termination Criteria for Model Transformation.
2005.
-
Hoffmann, Kathrin;
Ehrig, Hartmut;
Mossakowski, Till:
High-Level Nets with Nets and Rules as Tokens.
2005.
-
Braatz, B.;
Ehrig, H.;
Urbásek, M.:
Petri Net Transformations in the Petri Net Baukasten.
2003.
-
Ermel, Claudia;
Bardohl, Roswitha;
Ehrig, Hartmut:
Generation of Animation Views for Petri Nets in GenGED.
2003.
-
Weber, H.;
Ehrig, H.;
Reisig, W.;
Borusan, A.;
Lembke, S.;
Dehnert, J.;
Weber, M.;
Martens, A.;
Padberg, J.;
Ermel, C.;
Qemali, A.:
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
2003.
-
Orejas, Fernando;
Ehrig, Hartmut;
Pino, Elvira:
Tight and Loose Semantics for Transformation Systems.
2002.
-
Ehrig, Hartmut;
Hoffmann, Kathrin;
Padberg, Julia;
Baldan, Paolo;
Heckel, Reiko:
High-Level Net Processes.
2002.
-
Baldan, P.;
Corradini, A.;
Ehrig, H.;
Heckel, R.:
Compositional Modeling of Reactive Systems Using Open Nets.
2001.
-
Gajewsky, Meike;
Ehrig, Hartmut:
The Petri Net Baukasten: An Overview.
2001.
-
Padberg, Julia;
Ehrig, Hartmut:
Parameterized Net Classes: A Uniform Approach to Petri Net Classes.
2001.
-
Padberg, Julia;
Ehrig, Hartmut;
Rozenberg, Grzegorz:
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.
2001.
-
Ermel, Claudia;
Bardohl, R.;
Ehrig, H.:
Specification and Implementation of Animation Views for Petri Nets.
2001.
-
Ehrig, Hartmut;
Gajewsky, Maike;
Parisi-Presicce, Francesco:
High-Level Replacement Systems applied to Algebraic Specifications and Petri Nets.
1999.
-
Ehrig, Hartmut;
Gajewsky, Maike;
Wolter, Uwe:
From Abstract Data Types to Algebraic Development Techniques: a Shift of Paradigms.
1998.
-
Padberg, J.;
Jansen, L.;
Heckel, R.;
Ehrig, H.:
Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets.
1998.
-
Ehrig, Hartmut;
Heckel, Reiko;
Llabrés, Mercè;
Orejas, Fernando;
Padberg, Julia;
Rozenberg, Grzegorz:
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.
1998.
-
Ehrig, H.;
Gajewsky, M.;
Lembke, S.;
Padberg, J.:
Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application.
1997.
-
Ehrig, H.;
Gajewsky, M.;
Padberg, J.:
Action Nets and Abstract Statecharts in the Theory of High-Level Replacement Systems.
1997.
-
Ehrig, H.;
Padberg, J.:
A uniform approach to Petri nets.
1997.
-
Ehrig, H.;
Geisler, R.;
Klar, M.;
Padberg, J.:
Horizontal and Vertical Structuring Techniques for Statecharts.
1997.
-
Ehrig, Hartmut;
Merten, Anne;
Padberg, Julia:
How to Transfer Concepts of Abstract Data Types to Petri Nets?.
1997.
-
Ehrig, H.;
Reisig, W.:
An Algebraic View on Petri Nets.
1997.
-
Ermel, Claudia;
Padberg, Julia;
Ehrig, Hartmut:
Requirements Engineering of a Medical Information System.
1996.
-
Weber, Herbert;
Ehrig, Hartmut;
Reisig, Wolfgang:
Konzeption, theoretische Fundierung und Validierung einer anwendungbezogenen Petrinetz-Technologie.
1996.
-
Padberg, Julia;
Ehrig, H.;
Ribiero, L.:
Algebraic High-Level Net Transformation Systems.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography