Abstract
The application of the general theory of high-level replacement systems has proven to be most rewarding in many different areas, especially in Petri nets [EGPP99]. In this paper the extension of high-level replacement systems to refinement morphisms [Pad99] is applied to place/transition nets. The combination of morphisms, that preserve safety properties, with transformations of place/transition nets leads to rules and transformations, that preserve safety properties. Moreover, we extend our approach so that rules can introduce new invariant formulas, that is new safety properties.
This work is partly founded by the joint research project “DFG-Forschergruppe Petrinetz-Technologie” between H. Weber (Coordinator), H. Ehrig (both from the Technical University Berlin) and W. Reisig (Humboldt-Universität zu Berlin), supported by the German Research Council (DFG).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brown, C., Gurr, D.: Refinement and Simulation of Nets – a categorical characterization. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol. 616, pp. 76–92. Springer, Heidelberg (1992)
Brauer, W., Gold, R., Vogler, W.: A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets. In: Advances in Petri Nets. LNCS, vol. 483, pp. 1–46 (1990)
Chandy, K.M., Misra, J.: Parallel program design: A foundation. Addison-Wesley, Reading (1988)
Corradini, A.: Concurrent Computing: From Petri Nets to Graph Grammars. In: Proc. of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), vol. 2, Electronic Notes in Theoretical Computer Science (1995)
Desel, J.: APN 1991. LNCS, vol. 524, pp. 78–92. Springer, Heidelberg (1991)
Desel, J., Merceron, A.: Vicinity Respecting Net Morphisms. In: Advances in Petri Nets. LNCS, vol. 483, pp. 165–185. Springer, Heidelberg (1990)
Ehrig, H., Gajewsky, M., Parisi Presicce, F.: High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets. In: Concurrency, Parallelism, and Distribution. Handbook of Graph Grammars and Computing by Graph Transformations, ch. 4, vol. 3, pp. 341–399. World Scientific, Singapore (1999)
Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science 1, 361–404 (1991)
Gajewsky, M., Hoffmann, K., Padberg, J.: Place Preserving and Transition Gluing Morphisms in Rule-Based Refinement of Place/Transition Systems, Tech. Report 99/14, Technical University Berlin (1999) (to appear)
Hoffmann, K.: Structural Compatibility in Petri Nets: Morphisms and Categories of Nets, Master’s thesis, Technical University Berlin (1998)
Kreowski, H.-J.: WG 1980. LNCS, vol. 100, pp. 1–19. Springer, Heidelberg (1981)
Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems, specification. Springer, Heidelberg (1992)
Padberg, J.: Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement, Ph.D. thesis, Technical University Berlin, Shaker Verlag (1996)
Padberg, J.: Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures (1999) (accepted)
Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. Math. Struct. in Comp. Science 5, 217–256 (1995)
Peuker, S.: Invariant Property Preserving Extensions of Elementary Petri Nets, Tech. Report 97/21, Technical University Berlin (1997)
Padberg, J., Gajewsky, M., Ermel, C.: Rule-Based Refinement of High-Level Nets Preserving Safety Properties. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, pp. 221–238. Springer, Heidelberg (1998)
Reisig, W.: Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets. Springer, Heidelberg (1998)
Schneider, H.-J.: Graph grammars as a tool to define the behaviour of process systems: From Petri nets to Linda. In: Engels, G., Rozenberg, G. (eds.) Preliminary Proc. of 5th International Workshop on Graph Grammars and their Application to Computer Science (1994)
Schneider, H.-J.: Describing Systems of Processes by means of High-Level Replacement. In: Concurrency, Parallelism, and Distribution. Handbook of Graph Grammars and Computing by Graph Transformations, ch. 7, vol. 3 (1999) (to appear)
Stirling, C.: Modal and temproal logics. Handbook of Logic in Computer Science, Background: Computational structures, vol. 2. Clarendon Press, Oxford (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Padberg, J., Gajewsky, M., Hoffmann, K. (2000). Incremental Development of Safety Properties in Petri Net Transformations. In: Ehrig, H., Engels, G., Kreowski, HJ., Rozenberg, G. (eds) Theory and Application of Graph Transformations. TAGT 1998. Lecture Notes in Computer Science, vol 1764. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-46464-8_29
Download citation
DOI: https://doi.org/10.1007/978-3-540-46464-8_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67203-6
Online ISBN: 978-3-540-46464-8
eBook Packages: Springer Book Archive