Olaf Kummer, Annette Laue, Matthias Liedtke, Daniel Moldt, and Heiko Rölke.
Höhere Petrinetze zur kompakten Modellierung und Implementierung
von Verhalten.
In Holger Giese and Stephan Philippi, editors, Visuelle
Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme,
8.Workshop des Arbeitskreises GROOM, Techreport 24/00-I, pages 27-32.
Universität Münster, 2000.
Verfügbar unter
urlhttp://wwwmath.uni-muenster.de/cs/u/versys/workshops/VVVNS2000/
urlprogramm.html.
@INPROCEEDINGS{Kummer+00a, AUTHOR = {Kummer, Olaf and Laue, Annette and Liedtke, Matthias and Moldt, Daniel and R{\"o}lke, Heiko}, BOOKTITLE = {Visuelle Verhaltensmodellierung verteilter und nebenl{\"a}ufiger Software-Systeme, 8.Workshop des Arbeitskreises GROOM}, EDITOR = {Giese, Holger and Philippi, Stephan}, NOTE = {Verf{\"u}gbar unter url{http://wwwmath.uni-muenster.de/cs/u/versys/workshops/VVVNS2000/} url{programm.html}}, PUBLISHER = {Universit{\"a}t M{\"u}nster}, SERIES = {Techreport 24/00-I}, TITLE = {{H{\"o}here Petrinetze zur kompakten Modellierung und Implementierung von Verhalten}}, PAGES = {27--32}, YEAR = 2000 }