Abstract
The relationship between graph grammars and Petri nets is the topic of this workshop with the emphasis on work in progress and especially the transfer of concepts between both areas. Both areas are prominent specification formalisms for concurrent and distributed systems. It is well-known that the token game of place-transition nets can be modeled by double pushouts of discrete labeled graphs. This allows to relate basic notions of place-transition nets like marking, enabling, firing, steps, and step sequences to corresponding notions of graph grammars and to transfer semantical concepts from Petri nets to graph grammars. Since a marking of a net on one hand and a graph of a graph grammar on the other hand correspond to the state of a system to be modeled, graph grammars can be seen to generalize place-transition nets by allowing more structured states. The concurrent semantics of graph transformations presented in [BCM+99] of the Handbook of Graph grammars volume 3 and [Bal00] is strongly influenced by corresponding semantical constructions for Petri nets in [Win87].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baldan, P.: Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars. PhD thesis, University of Pisa (2000)
Baldan, P., Corradini, A., Montanari, U.: Relating algebraic graph rewriting and extensions of Petri nets. In: Workshop on Petri Nets and Graph transformations, Satellite of ICGT 2004 (2004)
Baldan, P., Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Löwe, M.: Concurrent Semantics of Algebraic Graph Transformations. In: Rozenberg, G. (ed.) The Handbook of Graph Grammars and Computing by Graph Transformations. Concurrency, Parallelism and Distribution, vol. 3, World Scientific, Singapore (1999)
Bardohl, R., Ermel, C.: Scenario Animation for Visual Behavior Models: A Generic Approach Applied to Petri Nets. In: Juhas, G., Desel, J. (eds.) Proc. 10th Workshop on Algorithms and Tools for Petri Nets, AWPN 2003 (2003)
Baresi, L., Pezze, M.: The use of Petri Nets as Semantic Domain for Diagram Notations. In: Workshop on Petri Nets and Graph transformations, Satellite of ICGT 2004 (2004)
Ermel, C., Ehrig, K.: View Transformation in Visual Environments applied to Petri Nets. In: Workshop on Petri Nets and Graph transformations, Satellite of ICGT (2004)
Ermel, C., Bardohl, R., Ehrig, H.: Generation of Animation Views for Petri Nets in GenGED. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, Springer, Heidelberg (2003)
Ehrig, H., Gajewsky, M., Parisi-Presicce, F.: High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets. In: Handbook of Graph Grammars and Computing by Graph Transformations. Concurrency, Parallelism, and Distribution, vol. 3, ch. 6, pp. 341–400. World Scientific, Singapore (1999)
Llorens, M., Oliver, J.: Marked-Controlled Reconfigurable Nets: Petri Nets with Structural Dynamic Changes. In: Workshop on Petri Nets and Graph transformations, Satellite of ICGT 2004 (2004)
Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. Mathematical Structures in Computer Science 5, 217–256 (1995)
Parisi-Presicce, F., Hoffmann, K.: Higher order nets for Mobile Policies. In: Workshop on Petri Nets and Graph transformations, Satellite of ICGT 2004 (2004)
Pinto, M.C., Ribeiro, L.: Modeling Metabolic and Regulatory Networks using Graph Transformations. In: Workshop on Petri Nets and Graph transformations, Satellite of ICGT 2004 (2004)
Ribeiro, L., Ehrig, H., Padberg, J.: Formal development of concurrent systems using algebraic high-level nets and transformations. In: Proc. VII Simpósio Brasileiro de Engenharia de Software, pp. 1–16 (1993)
Raiteri, D.C.: The Translation of Parametric Dynamic Fault Trees in Stochastic Well-formed Nets as a Case of Graph Transformation. In: Workshop on Petri Nets and Graph transformations, Satellite of ICGT 2004 (2004)
Sassobwe, V., Sobocinski, P.: Congruences for contextual graph rewriting. BRICS Report RS-04-11 (June 2004)
Winskel, G.: Petri nets, algebras, morphisms, and compositionality. Information and Computation 72, 197–238 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Padberg, J., Rozenberg, G. (2004). Workshop on Petri Nets and Graph Transformations. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds) Graph Transformations. ICGT 2004. Lecture Notes in Computer Science, vol 3256. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30203-2_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-30203-2_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23207-0
Online ISBN: 978-3-540-30203-2
eBook Packages: Springer Book Archive