M. Gajewsky and F. Parisi-Presicce. Formal Transformations of Petri Nets. Technical Report 2000-12, Technische Universitat Berlin, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Transformation of Open and Algebraic High-Level Petri Net Classes - Kolagari (2002) (Correct)
....models are produced each enhancing the initial model with further aspects and details. In this report the recent development in the area of formal transformations of Petri nets will be presented and the view will be extended by adding an open component. Two kinds of net transformations known from [28] will be presented, namely net class transformation and net model transformation which have been introduced on a conceptual level in [26] In this report a short example will be given to motivate the net model transformation (see the motivation section later in this introduction) but the net ....
.... later in this introduction) but the net class transformation will be described on a rigorous mathematical foundation, namely in terms of category theory [34] In the following, a short introduction to transformation and its application in the software development process is given, taken from [28]. Any kind of change of models within one Petri net class can be realized by a rule. This rule based approach in the context of Petri nets leads to net model transformations, where one subnet is substituted by another. Net class transformations in contrast are used to change the underlying Petri ....
[Article contains additional citation context not shown here]
M. Gajewsky and F. Parisi-Presicce. Formal Transformations of Petri Nets. Technical Report 2000-12, Technische Universitat Berlin, 2000.
Rule-Based Refinement for Place/Transition Systems.. - Gajewsky, Padberg.. (2001) Self-citation (Gajewsky) (Correct)
....and coloured Petri nets [PG00b,PG00a] In this paper we have expanded the range to liveness preserving rules for place transition systems. compatibility of net class transformations, see [Gaj00] with plain rules. This allows propagating rule based transformation across net classes [GPP00,GPP01]. It represents an important property for ensuring consistency between models on di erent abstraction layers. Our technical results are based on the theory of rule based re nement introduced in [Pad96] so called Q theory. This theory has been enhanced in order to allow local preservation of a ....
M. Gajewsky and F. Parisi-Presicce. Formal Transformations of Petri Nets. Technical Report 2000-12, Technical University Berlin, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC