Abstract
High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we propose the new paradigm “nets and rules as tokens”, where in addition to nets as tokens also rules as tokens are considered. The rules can be used to change the net structure. This leads to the new concept of high-level net and rule systems, which allows to integrate the token game with rule-based transformations of P/T-systems. The new concept is based on algebraic high-level nets and on the main ideas of graph transformation systems. We introduce the new concept with the case study “House of Philosophers”, a dynamic extension of the well-known dining philosophers. In the main part we present a basic theory for rule-based transformations of P/T-systems and for high-level nets with nets and rules as tokens leading to the concept of high-level net and rule systems.
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
van der Aalst, W.M.P.: The Application and Theory of Petri Nets to Workflow Management Systems. The Journal of Circuits, Systems and Computers 8, 21–66 (1998)
van der Aalst, W.M.P.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science 270(1-2), 125–203 (2002)
AGG Homepage, http://tfs.cs.tu-berlin.de/agg
Agha, G., De Cindio, F., Rozenberg, G. (eds.): APN 2001. LNCS, vol. 2001. Springer, Heidelberg (2001)
Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)
Ehrig, H.: Introduction to the algebraic theory of graph grammars (A survey). In: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol. 73, pp. 1–69. Springer, Heidelberg (1979)
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)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (1992)
Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., Heckel, R.: High-level net processes. In: Brauer, W., Ehrig, H., Karhumäki, J., Salomaa, A. (eds.) Formal and Natural Computing. LNCS, vol. 2300, pp. 191–219. Springer, Heidelberg (2002)
Ehrig, H., Padberg, J.: Graph Grammars and Petri Net Transformations. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 496–536. Springer, Heidelberg (2004)
Farwer, B.: A Linear Logic View of Object Petri Nets. Fundamenta Informaticae 37, 225–246 (1999)
GenGED Homepage, http://tfs.cs.tu-berlin.de/genged
Hets Homepage, http://www.tzi.de/cofi/hets
Hoffmann, K.: Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Constructions. In: Hommel, G. (ed.) Proc. of 3th Int. Workshop of Communication Based Systems, pp. 55–72. Kluwer, Dordrecht (2000)
Hoffmann, K., Mossakowski, T.: Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. In: Wirsing, M., Pattinson, D., Henicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 253–267. Springer, Heidelberg (2003)
Hoffmann, K., Mossakowski, T.: Integration of Petri nets and Rule-Based Transformations using Algebraic Higher-Order Nets. Technical Report, Technical University of Berlin (2004)
Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. EATCS Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1992)
Kindler, E., Weber, M.: The Petri net kernel – an infrastructure for building Petri net tools. Software Tools for Technology Transfer 3(4), 486–497 (2001)
Meseguer, J., Montanari, U.: Petri Nets are Monoids. Information and Computation 88(2), 105–155 (1990)
Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML - Revised. MIT Press, Cambridge (1997)
Mossakowski, T.: Heterogeneous specification and the heterogeneous tool set. Habilitation thesis, University of Bremen (2004)
Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. Mathematical Structures in Computer Science 5, 217–256 (1995)
Padberg, J., Urbasek, M.: Rule-Based Refinement of Petri Nets: A Survey. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 161–196. Springer, Heidelberg (2003)
Parisi-Presicce, F.: On modifying high level replacement systems. In: Ehrig, H., Ermel, C., Padberg, J. (eds.) Electronic Notes in Theoretical Computer Science, vol. 44. Elsevier, Amsterdam (2001)
Ratzer, A., Wells, L., Lassen, H., Laursen, M., Qvortrup, J., Stissing, M., Westergaard, M., Christensen, S., Jensen, K.: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 450–462. Springer, Heidelberg (2003)
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol. 1. World Scientific, Singapore (1997)
Schröder, L., Mossakowski, T.: HasCASL: Towards integrated specification and development of Haskell programs. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 99–116. Springer, Heidelberg (2002)
Silbertin-Blanc, C.: The Hurried Philosophers. In: Agha, G., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 536–537. Springer, Heidelberg (2001)
Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)
Valk, R.: Concurrency in Communicating Object Petri Nets. In: Agha, G., de Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 164–195. Springer, Heidelberg (2001)
Wienberg, F.: Informations- und prozeorientierte Modellierung verteilter Systeme auf der Basis von Feature-Structure-Netzen. PhD thesis, University Hamburg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoffmann, K., Ehrig, H., Mossakowski, T. (2005). High-Level Nets with Nets and Rules as Tokens. In: Ciardo, G., Darondeau, P. (eds) Applications and Theory of Petri Nets 2005. ICATPN 2005. Lecture Notes in Computer Science, vol 3536. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494744_16
Download citation
DOI: https://doi.org/10.1007/11494744_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26301-2
Online ISBN: 978-3-540-31559-9
eBook Packages: Computer ScienceComputer Science (R0)