| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Kathrin Hoffmann, Till Mossakowski |
| Herausgeber: |
M. Wirsing, D. Pattinson, R. Hennicker |
| Titel: |
Algebraic Higher Order Nets: Graphs and {Petri} Nets as Tokens |
| Buch / Sammlungs-Titel: |
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers |
| Band: |
2755 |
| Seite(n): |
253 – 267 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2003 |
| Verleger: |
Springer Verlag, London |
| Abstract / Kurzbeschreibung: |
Petri nets and Algebraic High-Level Nets are well-known to model parallel and concurrent systems. In this paper, we introduce the concept of Algebraic Higher-Order Nets, which allow to have dynamical tokens like graphs or (ordinary low-level) Petri nets. For this purpose, we specify graphs and Petri nets in the higher-order algebraic specification language HasCASL such that graphs and Petri nets become first-class citizens, i.e. members of algebras (rather than algebras themselves). As an example, we model hospital therapeutic processes by a single higher-order net. Individual care plans for each patient are tokens modeled by low-level nets. |
| Internet: |
http://springerlink.metapress.com/(wygnfcz22rkdl3jpmjha44i5)/app/home/contribution.asp?referrer=parent&backto=issue,14,26;journal,1282,3938;linkingpublicationresults,1:105633,1 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/petri.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/petri.ps |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
04. 08. 2006 |
|
 |
