| Publication type: |
Article in Proceedings |
| Author: |
Kathrin Hoffmann, Till Mossakowski |
| Editor: |
M. Wirsing, D. Pattinson, R. Hennicker |
| Title: |
Algebraic Higher Order Nets: Graphs and Petri Nets as Tokens |
| Book / Collection title: |
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers |
| Volume: |
2755 |
| Page(s): |
253 – 267 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2003 |
| Publisher: |
Springer Verlag, London |
| Abstract: |
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 |
| Last updated: |
04. 08. 2006 |
|
 |
