| Publication type: |
Article in Collection |
| Author: |
Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski |
| Title: |
High-Level Nets with Nets and Rules as Tokens |
| Book / Collection title: |
26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency |
| Volume: |
3536 |
| Page(s): |
268 – 288 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2005 |
| Publisher: |
Springer Verlag, London |
| 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. |
| Internet: |
http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,16,27; |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/high-level-nets.ps |
| 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. |
| Status: |
Reviewed |
| Last updated: |
31. 01. 2006 |
