Event Structure Semantics for Dynamic Graph Grammars (2009)
Roberto Bruni, Hernán Melgratti, Ugo Montanari, Paolo Baldan, Hartmut Ehrig, Julia Padberg, ...
Abstract: Dynamic graph grammars (DGGs) are a reflexive extension of Graph Grammars that have been introduced to represent mobile reflexive systems and calculi at a convenient level of abstraction....
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets ⋆ (2008)
P. Baldan, Behaviour-preserving Reconfigurations, Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, ...
Abstract. We propose a framework for the specification of behaviourpreserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of...
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets ⋆ (2008)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
Abstract. We propose a framework for the specification of behaviourpreserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of...
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets (2008)
Baldan, Paolo, Corradini, Andrea, Ehrig, Hartmut, Heckel, Reiko, König, Barbara
We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary...
Ulrike Prange, Hartmut Ehrig, Graph Grammars, Graph Transformation
are a very natural way to explain complex situations on an intuitive level. are almost everywhere. Graph grammars and graph transformation allow to model the dynamics in graph descriptions. date back...
c○2002 Society for Desing and Process Science (2008)
Hartmut Ehrig, O Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
ABSTRACT: This paper is based on two general ideas. The first one is the integration paradigm for data type and process modeling techniques developed by the first two authors within the last five...
Reversing graph transformations 2 (2008)
Paweł Sobociński, Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg, Tiziana Margaria, ...
a general framework for backtracking in concurrent formalisms, thus allowing modelling of situations where deadlock can arise without the necessity of explicitly encoding the often involved...
Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer
Summary. Behavior specification techniques like Petri nets provide a visual description of software and embedded systems as basis for behavior validation by simulation. Graph transformation systems...
Abstract Petri Net Modules in the Transformation-Based Component Framework (2008)
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two authors in previous...
Towards Component Verification in the Generic Component Framework (2008)
Julia Padberg, Hartmut Ehrig, Fernando Orejas
The intention of this paper is to extend the generic component framework presented at FASE 2002 [EOB + 02] to allow component verification based on export-import implications. In the generic...
Replace this file with prentcsmacro.sty for your meeting,
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
Abstract. Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to new...
Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
Abstract. The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no adequate...
Replace this file with prentcsmacro.sty for your meeting,
Tihamér Levendovszky, Ulrike Prange, Hartmut Ehrig
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integrated Computing...
THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2008)
www.elsevier.com/locate/jlap Petri net modules in the transformation-based component framework
Hartmut Ehrig, Claudia Ermel, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, ...
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to new requirements....
Leen Lambers, Hartmut Ehrig, Fernando Orejas, Lambers Ehrig Orejas
Efficient detection of conflicts in graph-based
ECEASST Bisimulation Verification for the DPO Approach with Borrowed Contexts (2008)
Guilherme Rangel, Barbara König, Hartmut Ehrig
Bisimilarity is the most widespread notion of behavioral equivalence and hence algorithms for bisimulation checking are of fundamental importance for verifying that two systems are behaviorally...
zur Erlangung des akademischen Grades Promotionsausschuss: (2008)
Kathrin Hoffmann, Doktorin Der Ingenieurwissenschaften, Vorsitzender Prof, Dr. Günther Hommel, Berichter Prof, Dr. Hartmut Ehrig, ...
Approaches based on Petri nets are important for the development and redesign of distributed and concurrent systems. This thesis introduces the formal approach of algebraic higher-order nets as a...
Graph Transformation in Adhesive HLR Categories (2008)
Abstract. In this paper we introduce the categorical framework for rule-based transformations of high-level structures, e.g. graphs, hypergraphs, typed and attributed graphs, Petri nets, etc. based...
Model Transformations should be Functors (2008)
Hartmut Ehrig, Don Batory, Oscar Diaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, ...
The concept of model transformations is of increasing importance in different areas of Computer Science, but up to now, there is a lack of common understanding concerning the mathematical and...
Event Structure Semantics for Dynamic Graph Grammars (2008)
Roberto Bruni, Hernán Melgratti, Ugo Montanari, Paolo Baldan, Hartmut Ehrig, Julia Padberg, ...
Abstract: Dynamic graph grammars (DGGs) are a reflexive extension of Graph Grammars that have been introduced to represent mobile reflexive systems and calculi at a convenient level of abstraction....
Kenneth J. Turner and Qian Bing. Systematic Testing of Radiotherapy (2008)
Accelerators In, Hartmut Ehrig, Berndt J. Kramer, Atilla Ertas, A. Radiotherapy Accelerators
The nature of radiotherapy accelerators is briefly explained. It is argued that these complex safety-critical systems need a systematic basis for testing their software. The paper describes a novel...
Hartmut Ehrig, Gabriele Taentzer
This is a survey of the main aims and results of the ESPRIT Basic Research
Semantics of Distributed System Specifications based on Graph Transformation (2007)
Gabriele Taentzer, Hartmut Ehrig
Distributed algorithms and dynamic distributed data structures are basic aspects of distributed systems which usually are modelled separately by different specification techniques. In the running...
Electronic Notes in Theoretical Computer Science 2 (1995) (2007)
This is a survey of the main aims and results of the ESPRIT Basic Research Working Group COMPUTING BY GRAPH TRANSFORMATION with main emphasize on COMPUGRAPH II, 1992 - 1996, following up the first...
Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig
Accepted (accepted date) The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a...
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
Abstract. The aim of this paper is to present a generic component framework for system modeling which is especially useful for a large class of graph- and net-based modeling techniques. Moreover, the...
Speci cation and Implementation of Animation Views for Petri Nets (2007)
Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig
The Petri Net Kernel (PNK) of the Petri Net Baukasten is a tool infrastructure for editing, simulating and analyzing Petri nets of dierent net classes and for integration of other Petri net tools. A...
Universidade Federal do Rio Grande do Sul (2007)
Dr. Hartmut Ehrig, Members Rosi Bardohl, Coord Heribert Schlebbe, Members Stefan Schimpf, Coord Bernhard Bardohl, ...
Techniques for the specication and development of software in industry should combine both an intuitive appearance and a formal basis in order to provide easy access, clarity in standard and marginal...
Universidade Federal do Rio Grande do Sul (2007)
Dr. Hartmut Ehrig, Dr. Roswitha Bardohl, Members Dr. Gabriele Taentzer, Coord Heribert Schlebbe, ...
The overall aim of the GRAPHIT project is to bridge the gap between formal specication techniques developed in research projects and semi{formal or informal specications used in industrial practice....
Executable Contracts for Incremental Prototypes of Embedded Systems, Lionel (2007)
Juliana Kuester, Filipe Bowles, Iman Poernomo, Ralf Reussner (eds, Programme Comittee, ...
of invited talk), Martin Wirsing Session 1: Formal models for component-based assembly A True-Concurrent Interpretation of Behavioural Scenarios, Sotiris Moschoyiannis, Paul Krause and Michael...
Christoph Br, Thomas Engel, Benjamin Braatz, Frank Hermann, Hartmut Ehrig
In this paper we show how distributed coarse-grained IT systems in a real-world banking scenario can be modelled using domain concepts and languages that are standing on top of formal methods. We...
Termination Analysis of Model Transformations by Petri Nets (2006)
Dániel Varró, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
Abstract. Despite the increasing relevance of model transformation techniques in model-driven software development, research is mainly conducted to the specification and the automation of such...
Termination Criteria for Model Transformation (2006)
Ehrig, Hartmut, Ehrig, Karsten, Taentzer, Gabriele, De Lara, Juan, Varró, Dániel, Varró-Gyapai, Szilvia
Nowadays the usage of model transformations in software engineering has become widespread. Considering current trends in software development such as model driven development (MDD), there is an...
Attributed graph transformation with node type inheritance (2005)
Juan Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer, ...
The aim of this paper is to integrate typed attributed graph transformation with node type inheritance. Borrowing concepts from object oriented systems, the main idea is to enrich the attributed type...
Termination criteria for model transformation (2005)
Hartmut Ehrig, Karsten Ehrig, Juan De Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-gyapay
Abstract. Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by its...
Formal Specification and Rule-Based Refinement of Software Components (2005)
Kumulierte Habilitation, Fakultät Iv, Elektrotechnik Und Informatik, Theoretische Informatik, Habiltationscolloquium Februar, ...
Software components are a useful and widely accepted abstraction mechanism during the entire software life cycle from analysis to maintenance. They need to be backed by thorough formal concepts and...
Termination criteria for model transformation (2005)
Hartmut Ehrig, Karsten Ehrig, Juan De Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-gyapay
Abstract. Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by its...
Attributed Graph Transformation with Node Type Inheritance: Long Version (2005)
Juan De Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer, ...
The aim of this technical report is to integrate typed attributed graph transformation with node type inheritance. Borrowing concepts from object oriented systems, the main idea is to enrich the...
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (Long Version) (2004)
Ehrig, Hartmut, König, Barbara
30 pages
Deriving bisimulation congruences in the DPO approach to graph rewriting. Long version (2004)
Ehrig, Hartmut, König, Barbara
Motivated by recent work on the derivation of labelled transitions andbisimulation congruences from unlabelled reaction rules, we show how to solvethis problem in the DPO (double-pushout) approach to...
Deriving bisimulation congruences in the DPO approach to graph rewriting. Long version (2004)
Ehrig, Hartmut, König, Barbara
Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the DPO (double-pushout) approach...
Deriving bisimulation congruences in the DPO approach to graph rewriting (2004)
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the DPO (double-pushout)...
Deriving bisimulation congruences in the DPO approach to graph rewriting (2004)
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the DPO (double-pushout)...
Adhesive high-level replacement categories and systems (2004)
Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the well-known concept...
Deriving bisimulation congruences in the DPO approach to graph rewriting (2004)
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the DPO (double-pushout)...
Adhesive high-level replacement categories and systems (2004)
Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the well-known concept...
Attributed Graphs and Typing: Relationship between Different Representations (2003)
Attributed graphs and typing play an important role in theory and applications of graph grammars, graph transformation systems, visual languages and metamodelling. Attributed graphs can be...
Node Type Inheritance Concept for Typed Graph Transformation (2003)
Roswitha Bardohl, Hartmut Ehrig, Juan De Lara, Olga Runge, Gabi Taentzer, Ingo Weinhold, ...
Visual languages play a central role in modelling various system aspects. Besides standard languages like UML, a variety of domain-specific languages exist which are the more used the more tool...
Petri Net Modules in the Transformation-Based Component Framework (2003)
Julia Padberg, Hartmut Ehrig, Fachbereich Mathematik/informatik
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two authors in previous...
Behaviour and Instantiation of High-Level Net Processes (2003)
Processes for high-level nets N are often de ned as processes of the low-level net F lat(N) which is obtained from N via the well-known attening construction. This low-level notion of processes for...
A Transformation-Based Component Framework for a Generic Integerated Modeling Technique (2002)
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
This paper is based on two general ideas. The rst one is the integration paradigm for data type and process modeling techniques developed by the rst two authors within the last ve years. The second...
Petri Net Based Components for Evolvable Architectures (2002)
Julia Padberg, Hartmut Ehrig, Herbert Weber, Asuman Sünbül
this paper are components of business processes in terms of net components and their composition in this approach. We use net components that are based on Petri nets. The nets are restricted FUNSOFT...
Systematic Testing of Radiotherapy Accelerators (2002)
Systematic Testing Radiotherapy, Accelerators In, Hartmut Ehrig, Berndt J. Kramer, Atilla Ertas, Kenneth J. Turner, ...
The nature of radiotherapy accelerators is briefly explained. It is argued that these complex safety-critical systems need a systematic basis for testing their software. The paper describes a novel...
A Generic Component Framework for System Modeling (2002)
Hartmut Ehrig, O Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
Abstract. The aim of this paper is to present a generic component framework for system modeling which is especially useful for a large class of graph- and net-based modeling techniques. Moreover, the...
Tight and Loose Semantics for Transformation Systems (2001)
O Orejas, Hartmut Ehrig, Elvira Pino
Abstract. When defining the requirements of a system, specification units typically are partial or incomplete descriptions of a system component. In this context, providing a complete description of...
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems (2001)
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
Abstract. The aim of this paper is an extension of the theory of graph transformation systems in order to make them suitable for the specification of reactive systems. For this purpose two main...
Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg
Starting from the algebraic view of Petri nets as monoids (as advocated by Meseguer and Montanari in [MM90]) we present the marking graphs of place transition nets as free monoid graphs and the...
A Generic Component Concept for Integrated Data Type and Process Modeling Techniques (2001)
Hartmut Ehrig, Fernando Orejas
In previous papers of the authors a conceptual and a formal model for an integration paradigm for data type and process modeling techniques has been presented. This concept leads to a generic concept...
Parameterized Net Classes: A Uniform Approach to Petri Net Classes (2001)
The concept of parameterized net classes is introduced in order to allow a uniform approach to dierent kinds of Petri net classes.
From Algebraic Module Specifications to Component Concepts and Integrated Modeling Techniques (2001)
Hartmut Ehrig (Editor), Lars Frantzen, Jennifer Tenzer, Daniel Parnitzke, Markus Klein, Andreas Simon, ...
This technical report consists of ve separate contributions within the areas of algebraic module specications, component concepts and integrated modeling techniques with one common bibliography at...
Towards a component concept for continuous software engineering (2000)
Stefan Mann, Er Borusan, Hartmut Ehrig, Martin Große-rhode, Martin Große-rhode, Rainer Mackenthun, ...
This paper will sketch the preliminary ideas for the component concept which are to be proven and investigated further within the research project “Continuous Software Engineering: Continuous...
Modeling Train Control Systems: From Message Sequence Charts to Petri Nets (2000)
Julia Padberg, Olaf Kluge, Dr. Julia Padberg, Prof Dr, Hartmut Ehrig
Message Sequence Charts (MSC) are well-known to be suitable to model scenarios in communication based systems. Scenarios using MSCs and Life Sequence Charts (LSC) have been presented already for the...
Martin Große-Rhode, Hartmut Ehrig, Tu Berlin
. Using different techniques for the specification of different aspects of a system supports the separation of concerns principle, thus the acceptance and adequacy of specifications, but prompts the...
Orejas: Integration and Classification of Data Type and Process Specification Techniques (1998)
Hartmut Ehrig, Fernando Orejas
After more than 20 years, since it was first advocated, the use of formal methods in software constructions still has a limited acceptance. Partly, this is caused by the fact that most formal...
Conceptual model of the graphical editor GENGED for the visual definition of visual languages (1998)
Roswitha Bardohl, Hartmut Ehrig
This contribution presents a conceptual model of GENGED, an editor supporting the visual definition of visual languages (VLs). As usual a VL consists of an alphabet and a grammar. Given a grammar of...
Conceptual model of the graphical editor GENGED for the visual definition of visual languages (1998)
Roswitha Bardohl, Hartmut Ehrig
This contribution presents a conceptual model of GENGED, an editor supporting the visual definition of visual languages (VLs). A VL is defined by an alphabet and a grammar. These constituents are the...
European School on Graph Transformation, Bremen, March 2-7, 1998, Abstracts of Lectures (1998)
Frank Drewes (Ed.), Edited Frank Drewes, Andrea Corradini, Hartmut Ehrig
s of Lectures edited by Frank Drewes Contents 1 Michel Bauderon: Pullback rewriting . . . . . . . . . . . . . . . . . . . . . . . 2 Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Algebraic approaches...
Classification and Comparison of Modularity Concepts for Graph Transformation Systems (1998)
Hartmut Ehrig, Gregor Engels, Reiko Heckel, Gabi Taentzer
This paper presents a systematic approach for classifying and comparing modularity concepts that have been proposed for graph transformation systems. The approach is based on the following...
Colimit Library for Graph Transformations and Algebraic Development Techniques (1998)
Dietmar Wolz, Dr. Hartmut Ehrig, Berichter Prof, Berichter Prof, Dr. Martin Gogolla
ions are defined both for objects and layers. There are several compatibility requirements for the definition of these functions. The set of objects contains a specific ?-element which allows the...
Institutions for logic programming (1997)
O Orejas, Elvira Pino, Hartmut Ehrig
ABSTRACT The compositionality of the semantics of logic programs with respect to (different varieties of) program union has been studied recently by a number of researchers. The approaches used can...
A combined reference model- and view-based approach to system specification (1997)
Hartmut Ehrig, Reiko Heckel, Gabi Taentzer, Gregor Engels
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specification technique...
Integrating the specification techniques of graph transformation and temporal logic (1997)
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
Abstract. The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic semantics...
Hartmut Ehrig, Maike Gajewsky, Sabine Lembke, Julia Padberg
Topics: High-level net model, structuring techniques, application to workflow management, technology transfer The housing management system project WIS of the company LION is one of the most...
Horizontal and Vertical Structuring Techniques for Statecharts (1997)
Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer...
Introduction to Universal Parameterized Net Classes (1997)
The new concept of universal parameterized net classes is introduced in order to allow a uniform approach to different kinds of Petri net classes. By different actualizations of the net structure...
Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications (1997)
Hartmut Ehrig Maike, Lindsay Groves, Steve Reeves, Hartmut Ehrig, Maike Gajewsky, Sabine Lembke, ...
. The housing management system project WIS of the company LION is one of the most successful practical applications of Petri net technology in the area of cooperating and distributed business...
Horizontal and Vertical Structuring Techniques for Statecharts (1997)
Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer...
Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications (1997)
Hartmut Ehrig, Maike Gajewsky, Sabine Lembke, Julia Padberg, Volker Gruhn
. The housing management system project WIS of the company LION is one of the most successful practical applications of Petri net technology in the area of cooperating and distributed business...
Loose Semantics and Constraints for Graph Transformation Systems (1997)
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
. The main aim of this paper is an extension of the theory of algebraic graph transformation systems by a loose semantics. For this purpose, graph transitions are introduced as a loose interpretation...
Claudia Ermel, Julia Padberg, Hartmut Ehrig
This paper is concerned with the application of a formal technique to software engineering. In this case study we have used rule-based refinement of algebraic high-level nets for the requirements...
Horizontal and Vertical Structuring of Typed Graph Transformation Systems (1996)
Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
this paper we concentrate on structuring and refinement concepts for graph transformation systems. Conceptually, we distinguish between two kinds of structuring. We speak of horizontal structuring if...
Claudia Ermel, Julia Padberg, Hartmut Ehrig
This paper is concerned with the application of a formal technique to software engineering. In this case study we have used rule-based refinement of algebraic high-level nets for the requirements...
Rosa Jiménez, Fernando Orejas, Departament Lleng, Sist Informtics, Hartmut Ehrig
In this paper we continue previous work from Sannella, Sokolowski and Tarlecki on parameterization in specification languages. Within the loose approach, we define specification and model level...
COMPUGRAPH II: A Survey of Research Goals and Main Results (1995)
Hartmut Ehrig, Gabriele Taentzer
This is a survey of the main aims and results of the ESPRIT Basic Research Working Group COMPUTING BY GRAPH TRANSFORMATION II, 1992 - 1996, following up the first phase of COMPUGRAPH, 1989 - 1992....
Algebraic Methods in the Compositional Analysis of Logic Programs (1994)
Fernando Orejas Elvira, O Orejas, Elvira Pino, Hartmut Ehrig
The compositionality of the semantics of logic programs with respect to (different varieties of) program union has been studied recently by a number of researchers. The approaches used can be...
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung / (1971)
Thesis (doctoral)--Technische Universität Berlin, 1971.
Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications
Hartmut Ehrig, Maike Gajewsky, Sabine Lembke, Julia Padberg, Volker Gruhn
The housing management system project WIS of the company LION is one of the most successful practical applications of Petri net technology in the area of cooperating and distributed business process...