@inproceedings{HoffmannMossakowski03,
  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.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Hoffmann, Kathrin and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/243cbc91b7e4d702c5a1cb98cb67c75db/tillmo},
  booktitle = {Recent Trends in Algebraic Development Techniques, 16th International Workshop, {WADT} 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers},
  editor = {Wirsing, M. and Pattinson, D. and Hennicker, R.},
  interhash = {43f5184c9ee3485c00b855f8cd01c3b7},
  intrahash = {43cbc91b7e4d702c5a1cb98cb67c75db},
  keywords = {imported},
  pages = {253--267},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/petri.pdf},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/petri.ps},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Algebraic Higher Order Nets: Graphs and {Petri} Nets as Tokens},
  url = {http://springerlink.metapress.com/(wygnfcz22rkdl3jpmjha44i5)/app/home/contribution.asp?referrer=parent&backto=issue,14,26;journal,1282,3938;linkingpublicationresults,1:105633,1},
  volume = 2755,
  year = 2003
}