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 High-Level nets, a high-level 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.
This is a preview of subscription content, log in via an institution to check access.
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
Bardohl, R., Ermel, C., Padberg, J.: Formal Relationship between Petri Nets and Graph Grammars as Basis for Animation Views in GenGED. In: Proc. IDPT 2002: Sixth World Conference on Integrated Design and Process Technology. Society for Design and Process Science, SDPS (2002)
Bardohl, R., Ermel, C., Weinhold, I.: GenGED – A Visual Definition Tool for Visual Modeling Environments. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 413–419. Springer, Heidelberg (2004)
Corradini, A., Montanari, U.: Specification of Concurrent Systems: From Petri Nets to Graph Grammars. In: Hommel, G. (ed.) Proc. Quality of Communication- Based Systems, Berlin, Germany. Kluwer Academic Publishers, Dordrecht (1995)
de Lara, J., Ermel, C., Taentzer, G., Ehrig, K.: Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets. Proc. Graph Transformation and Visual Modelling Techniques, GTVMT 2004 (2004)
Degano, P., Montanari, U.: A model of distributed systems based on graph rewriting. Journal of the ACM 34(2), 411–449 (1987)
Ehrig, H., Kreowski, H.-J.: Parallel graph grammars. In: Lindenmayer, A., Rozenberg, G. (eds.) Automata, Languages, Development, pp. 425–447. North Holland, Amsterdam (1976)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, vol. 6. Springer, Berlin (1985)
Ehrig, H., Mahr, B., Cornelius, F., Grosse-Rhode, M., Zeitz, P.: Mathematisch Strukturelle Grundlagen der Informatik. Springer, Heidelberg (1998)
Ehrig, H., Prange, U., Taentzer, G.: Fundamental Theory for Typed Attributed Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 161–177. Springer, Heidelberg (2004)
Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.): Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472. Springer, Heidelberg (2003)
Ehrig, H., Taentzer, G.: From parallel graph grammars to parallel high- level replacement systems. In: Lindenmayer Systems, pp. 283–303. Springer, Heidelberg (1992)
Ermel, C., Bardohl, R.: Scenario Animation for Visual Behavior Models: A Generic Approach. Software and System Modeling: Special Section on Graph Transformations and Visual Modeling Techniques 5 (2004)
Ermel, C., Taentzer, G., Bardohl, R.: Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. Long Version. Technical Report 2004–21, TU Berlin (2004) ISSN 1436-9915
Hummert, U.: Algebraische High-Level Netze. PhD thesis, TU Berlin (1989)
Kreowski, H.-J.: A comparison between Petri-nets and graph grammars. In: Noltemeier, H. (ed.) WG 1980. LNCS, vol. 100, pp. 1–19. Springer, Heidelberg (1981)
Lilius, J.: On the Structure of High-Level Nets. PhD thesis, Helsinki University of Technology, Digital Systems Laoratory, Research Report 33 (1995)
MacLane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol. 5. Springer, New York (1971)
Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. Mathematical Structures in Computer Science 5, 217–256 (1995)
Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer, Heidelberg (1985)
Taentzer, G.: Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, TU Berlin. Shaker Verlag (1996)
Taentzer, G.: AGG: A Graph Transformation Environment for System Modeling and Validation. In: Margaria, T. (ed.) Proc. Tool Exhibition at ‘Formal Methods 2003, Pisa, Italy (September 2003)
WWW Consortium (W3C). Scalable Vector Graphics (SVG) 1.0 Specification (2000), http://www.w3.org/TR/svg
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ermel, C., Taentzer, G., Bardohl, R. (2005). Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. In: Kreowski, HJ., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds) Formal Methods in Software and Systems Modeling. Lecture Notes in Computer Science, vol 3393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31847-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-31847-7_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24936-8
Online ISBN: 978-3-540-31847-7
eBook Packages: Computer ScienceComputer Science (R0)