Lawrence Cabac
, Till Dörges
, and Heiko Rölke.
A monitoring toolset for Paose.
In Rüdiger Valk and Kees M. van Hee, editors, 29th
International Conference on Application and Theory of Petri Nets, Xi'an,
China, volume 5062 of Lecture Notes in Computer Science, pages
399-408. Springer-Verlag, June 2008.
[link]
Michael Köhler and Heiko Rölke.
Dynamic transition refinement.
In Proceedings of the Workshop on Foundations of Coordination
Languages and Software Architectures (FOCLASA), Technical Report ITI-06-07,
Department of Computer Science, University of Málaga, pages 117-132,
2006.
Michael Köhler and Heiko Rölke.
Properties of Object Petri Nets.
In J. Cortadella and W. Reisig, editors, International
Conference on Application and Theory of Petri Nets 2004, volume 3099 of
Lecture Notes in Computer Science, pages 278-297. Springer-Verlag,
2004.
[link]
Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Concurrent architecture for a multi-agent platform.
In Fausto Giunchiglia, James Odell, and Gerhard Weiß, editors,
Agent-Oriented Software Engineering III. Third International Workshop,
Agent-oriented Software Engineering (AOSE) 2002, Bologna, Italy, July 2002.
Revised Papers and Invited Contributions, volume 2585 of Lecture Notes
in Computer Science, pages 59-72, Berlin, Heidelberg, New York, 2003.
Springer-Verlag.
[link]
Olaf Kummer, Frank Wienberg, Michael Duvigneau, Michael Köhler, Daniel Moldt, and Heiko Rölke.
Renew - the Reference Net Workshop.
In Eric Veerbeek, editor, Tool Demonstrations. 24th
International Conference on Application and Theory of Petri Nets (ATPN
2003). International Conference on Business Process Management (BPM 2003).,
pages 99-102. Department of Technology Management, Technische Universiteit
Eindhoven, Beta Research School for Operations Management and Logistics, June
2003.
Daniel Moldt and Heiko Rölke.
Pattern based workflow design using reference nets.
In Wil van der Aalst, Arthur ter Hofstede, and Mathias Weske,
editors, Proceedings of International Conference on Business Process
Management, Eindhoven, NL, volume 2678 of Lecture Notes in Computer
Science, pages 246-260. Springer-Verlag, 2003.
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.
Christoph Maier, Daniel Moldt, and Heiko Rölke.
SNIFF - an input/output library for Design/CPN.
In Daimi PB-532: Workshop on Practical Use of Coloured Petri
Nets and Design/CPN, pages 65-82, Ny Munkegade, Building 540, DK-8000
Aarhus C, Dänemark, 1998. Computer Science Department, Aarhus
University.
Lawrence Cabac
, Lars Michael Kristensen, and Heiko Rölke, editors.
Petri Nets and Software Engineering. International Workshop,
PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings, volume 1591 of CEUR Workshop Proceedings. CEUR-WS.org, 2016.
[link]