Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till High-level nets with nets and rules as tokens. (English) Zbl 1128.68063 Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 268-288 (2005). Summary: 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.For the entire collection see [Zbl 1076.68004]. Cited in 9 Documents MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68Q42 Grammars and rewriting systems 68Q65 Abstract data types; algebraic specification Keywords:High-level net models; algebraic high-level nets; nets and rules as tokens; integration of net theory and graph transformations; case study: House of Philosophers; algebraic specifications; graph grammars and Petri net transformations Software:CPN/Tools; Design/CPN; Hets PDFBibTeX XMLCite \textit{K. Hoffmann} et al., Lect. Notes Comput. Sci. 3536, 268--288 (2005; Zbl 1128.68063) Full Text: DOI