direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

High-Level Nets with Nets and Rules as Tokens
Zitatschlüssel HEM05
Autor Hoffmann, K. and Mossakowski, T. and Ehrig, H.
Buchtitel Proc. of 26th Intern. Conf. on Application and Theory of Petri Nets and other Models of Concurrency
Seiten 268–288
Jahr 2005
ISBN ISSN 0302-9743
Jahrgang 3536
Serie LNCS
Zusammenfassung 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.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe