On the Compatibility of Model and Model-Class Transformations

Gajewsky, Magdalena; Parisi-Presicce, Francesco

doi:10.1007/3-540-45645-7_6

Cited by 3 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Rule-based refinement is compatible with various structuring techniques as union and fusion (see [9]). Furthermore process models [7,5] based on rule-based refinement are provided.…”

Section: Motivationmentioning

confidence: 99%

Rule-Based Refinement of Petri Nets: A Survey

Padberg

Urbášek

2003

Petri Net Technology for Communication-Based Systems

View full text Add to dashboard Cite

Abstract. This contribution provides a thorough survey of our work on rule-based refinement. Rule-based refinement comprises the transformation of Petri nets using rules while preserving certain system properties. Petri net rules and transformations are expressed by morphisms and pushouts. This allows an abstract formulation of our notions independent of a specific Petri net class, as place/transition nets, elementary nets, predicate/transition nets etc. Hence, it is adequate to consider our approach as rule-based refinement of Petri nets in general. We have presented various results in recent years at different conferences. So this contribution gives an overview of our work in a compact form leaving out the technical details.

show abstract

“…Rule-based refinement is compatible with various structuring techniques as union and fusion (see [9]). Furthermore process models [7,5] based on rule-based refinement are provided.…”

Section: Motivationmentioning

confidence: 99%

Rule-Based Refinement of Petri Nets: A Survey

Padberg

Urbášek

2003

Petri Net Technology for Communication-Based Systems

View full text Add to dashboard Cite

show abstract

“…They are formalized on a rigorous mathematical foundation, see [GPP01b]. For a systematic study of such Petri net transformations we distinguish two levels of transformations, called net model transformations and net class transformations.…”

Section: Introductionmentioning

confidence: 99%

Petri Net Transformations in the ≫Petri Net Baukasten≪

Braatz

Ehrig

Urbášek

2003

Petri Net Technology for Communication-Based Systems

View full text Add to dashboard Cite

Abstract. The purpose of this contribution is to give an overview of constructions and results for Petri net transformations in the Petri Net Baukasten developed by the "DFG-Forschergruppe Petrinetz-Technologie". The two main concepts of Petri net transformations considered in this context are net class and net model transformations. In both cases we present first the relevance of transformations in the application developer view and them the technical constructions and results in the expert view of the Petri Net Baukasten . Net class transformations are transformations between different Petri net classes, like elementary nets, place/transition nets and algebraic high-level nets. Net model transformations on the other hand are transformations of the net structure for nets within one Petri net class, like place or transition refinement. The main technical results are concerning the preservation of safety resp. liveness properties of net model transformations and compatibility results between net class and net model transformations. The relevance of the constructions and results for the application developer view is demonstrated by a small case study modeling the interaction of a buffer, a printer and a communication unit consisting of secure and non-secure channels. Finally we give an overview of other concepts of transformations: On one hand, transformations between Petri nets and other system modeling techniques, and on the other hand transformations between different net representation formats using XML-schemes and DTD-standards.

show abstract

A Formal Framework for Petri Net Class Transformations

Parisi-Presicce

2003

Petri Net Technology for Communication-Based Systems

View full text Add to dashboard Cite

A formalization of transformations of Petri Nets is presented in a categorical framework. It uses rule based modifications for the transformation of models within one Petri net class (replacement of one subnet by another one) and functors for the enrichment of the models to a different class (addition of features previously ignored). Net class transformations are defined between elementary nets, place/transition nets and algebraic high level nets. These class transformations preserve the rules and the derivation sequences. This compatibility guarantees that the order of application of a net class transformation and a model transformation does not affect the result. The net class transformations are then shown to ”lift” providing a form of stepwise enrichment of net classes

show abstract

On the Compatibility of Model and Model-Class Transformations

Cited by 3 publications

References 15 publications

Rule-Based Refinement of Petri Nets: A Survey

Rule-Based Refinement of Petri Nets: A Survey

Petri Net Transformations in the ≫Petri Net Baukasten≪

A Formal Framework for Petri Net Class Transformations

Contact Info

Product

Resources

About