Results 1 
7 of
7
Abstract Petri Nets as a Uniform Approach to HighLevel Petri Nets
, 1998
"... In the area of Petri nets, many different developments have taken place within the last 30 years, in academia as well as in practice. For an adequate use in practice, a coherent and application oriented combination of various types and techniques for Petri nets is necessary. In order to attain ..."
Abstract

Cited by 36 (18 self)
 Add to MetaCart
In the area of Petri nets, many different developments have taken place within the last 30 years, in academia as well as in practice. For an adequate use in practice, a coherent and application oriented combination of various types and techniques for Petri nets is necessary. In order to attain a formal basis for different classes of Petri nets we introduce the concept of abstract Petri nets. The essential point of abstract Petri nets is to allow different kinds of net structures as well as the combination of various kinds of data types. This means that in abstract Petri nets the data type and the net structure part can be considered as abstract parameters which can be instantiated to different concrete net classes. We show that several net classes, like place/transition nets, elementary nets, Sgraphs, algebraic highlevel net...
RuleBased Refinement of HighLevel Nets Preserving Safety Properties
 Fundamental approaches to Software Engineering
, 1998
"... The concept of rulebased modification developed in the area of algebraic graph transformations and highlevel replacement systems has recently shown to be a powerful concept for vertical stucturing of Petri nets. This includes lowlevel and highlevel Petri nets, especially algebraic highlevel net ..."
Abstract

Cited by 15 (13 self)
 Add to MetaCart
The concept of rulebased modification developed in the area of algebraic graph transformations and highlevel replacement systems has recently shown to be a powerful concept for vertical stucturing of Petri nets. This includes lowlevel and highlevel Petri nets, especially algebraic highlevel nets which can be considered as an integration of algebraic specifications and Petri nets. In a large case study rulebased modi cation of algebraic highlevel nets has been applied successfully for the requirements analysis of a medical information system. The main new result in this paper extends rulebased modification of algebraic highlevel nets such that it preserves safety properties formulated in terms of temporal logic. For software development based on rulebased modi cation of algebraic highlevel nets as a vertical development strategy this extension is an important new technique. It is called rulebased re nement. As a running example an important safety property of a medical information system is considered and is shown to be preserved under rulebased refinement.
The Expert View of the "Petri Net Baukasten"
 Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems. Fraunhofer Gesellschaft ISST
, 1999
"... As part of the Petri Net Baukasten' [Pad99b] the Expert View presents mathematical concepts and results of Petri net theory in a structured and application oriented way. Consistent formal Petri net techniques and transformations between these are main issues. We introduce the notions of formal Petri ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
As part of the Petri Net Baukasten' [Pad99b] the Expert View presents mathematical concepts and results of Petri net theory in a structured and application oriented way. Consistent formal Petri net techniques and transformations between these are main issues. We introduce the notions of formal Petri net techniques, abstract Petri net frames, instantiations, and transformations. These notions are specified by schemes which are used to represent specic pieces of Petri net theory known from literature. Furthermore, the Expert View presents explicit formal descriptions of concepts described semiformally in the Common Base [Deh99].
Concepts and Requirements for Transformations within Petri Net Based Process Models
, 2000
"... cture (CS) CS + Roles CS + Data CS + Data + Roles Model transformation Enhancement by a detail modication of data, roles, time exception handling business rules optimization N model trafo M T N P 3 Petri Net Transformations M. Gajewsky Example: Enhancement by Data bookings Data ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
cture (CS) CS + Roles CS + Data CS + Data + Roles Model transformation Enhancement by a detail modication of data, roles, time exception handling business rules optimization N model trafo M T N P 3 Petri Net Transformations M. Gajewsky Example: Enhancement by Data bookings Data 0 X Z V =) Data price) price) (flight Id, (flight Id, (flight Id', name) flight Id = flight Id' (flight Id', name) flight T N P 4 Petri Net Transformations M. Gajewsky Support of Petri Net Based Process Models Enhancement of Petri nets is covered by net class transformation model transformation combination: sequential composition of net class and model transformation T N P 5 Petri Net Transformations M. Gajewsky Requirements for Transformations Preservation of System Propert
Refinement versus Verification: Compatibility of Net Invariants and Stepwise Development of HighLevel Petri Nets
, 1997
"... The concept of rulebased modification developed in the area of algebraic graph transformations and highlevel replacement systems has recently shown to be a powerful concept for vertical stucturing of Petri nets. This includes lowlevel and highlevel Petri nets, especially algebraic highlevel net ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
The concept of rulebased modification developed in the area of algebraic graph transformations and highlevel replacement systems has recently shown to be a powerful concept for vertical stucturing of Petri nets. This includes lowlevel and highlevel Petri nets, especially algebraic highlevel nets which can be considered as an integration of algebraic specifications and Petri nets. In a large case study rulebased modification of algebraic highlevel nets has been applied successfully for the requirements analysis of a medical information system. The main new result in this paper extends rulebased modification of algebraic highlevel nets such that it preserves safety properties formulated in terms of temporal logic. For software development based on rulebased modification of algebraic highlevel nets as a vertical development strategy this extension is an important new technique. It is called rulebased refinement. As a running example an important safety property of a medical in...
Generic Description of Syntax, Behavior and Animation of Visual Models
, 2001
"... Visual modeling techniques including UML as well as graph and net based techniques are of growing interest... ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Visual modeling techniques including UML as well as graph and net based techniques are of growing interest...
Simulating Algebraic HighLevel Nets by Parallel Attributed Graph Transformation
 Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, volume 3393 of LNCS
, 2005
"... Abstract. The “classical ” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This translation depends on a concrete model and may yield large graph transformation systems as the number of rules de ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. The “classical ” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This translation depends on a concrete model and may yield large graph transformation systems as the number of rules depends directly on the number of transitions in the net. Hence, the aim of this paper is to define the behavior of Algebraic HighLevel nets, a highlevel Petri net variant, by a parallel, typed, attributed graph transformation system. Such a general parallel transformation system for AHL nets replaces the translation of transitions of specific AHL nets. After reviewing the formal definitions of AHL nets and parallel attributed graph transformation, we formalize the classical translation from AHL nets to graph transformation systems and prove the correctness of the translation. The translation approach then is contrasted to a definition for AHL net behavior based on parallel graph transformation. We show that the resulting amalgamated rules correspond to the behavior rules from the classical translation approach. 1