Proceedings 03013 Cottbus, Germany Online-Proceedings verfugbar unter http://CEUR-WS.org/Vol-643/ BibTEX-Eintrag fur Online-Proceedings: @proceedings{awpn2010, editor = {Martin Schwarick and Monika Heiner}, title = {Proceedings of the 17th German Workshop on
Algorithms and Tools for Petri Nets, AWPN 2010,
Cottbus, Germany, October 07--08, 2010}, booktitle = {Algorithmen und Werkzeuge f\"ur Petrinetze}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, volume = {643}, year = {2010}, url = {http://CEUR-WS.org/Vol-643/} } Copyright c 2010 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. Der Workshop Algorithmen und Werkzeuge fur Petrinetze bietet seit 1994 ein gemeinsames Forum fur Entwickler und Anwender petrinetz-basierter Technologien. Er bietet insbesondere fur Nachwuchswissenschaftler die Moglichkeit, Erfahrungen bei einer wissenschaftlichen Veranstaltung zu sammeln. Das wird unterstutzt durch den traditionell geringen nanziellen Aufwands fur die Teilnahme und die deutschsprachige Ausrichtung, wobei auch englischsprachige Beitrage willkommen sind.
Im Jahr 2010 fand der Workshop in seiner 17ten Ausgabe erstmals an der Brandenburgischen Technischen Universitat in Cottbus statt. Veranstalter war wie immer die Fachgruppe Petrinetze und verwandte Systemmodelle der Gesellschaft fur Informatik.
Es gab 19 eingereichte Beitrage, die alle nach einer kurzen Prufung auf sachliche Angemessenheit durch die Organisatoren in das Programm aufgenommen wurden. Ein ausfuhrlicher Begutachtungsprozess fand dagegen, wie auch in den vergangenen Jahren, nicht statt.
Oktober 2010 Steering Committee 1. Berlin 1994 2. Oldenburg 1995 3. Karlsruhe 1996 4. Berlin 1997 5. Dortmund 1998 6. Frankfurt 1999 13. Hamburg 2006 14. Koblenz 2007 15. Rostock 2008 16. Karlsruhe 2009 17. Cottbus 2010
Inhaltsverzeichnis Universal Inhibitor Petri Net : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Dmitry Zaitsev On Optimizing the Sweep-Line Method : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Robert Prufer Embedding the free-choice semantics of AND/XOR-EPCs into the Boolean semantics : : : : : : : : : : : : :
Christoph Schneider and Joachim Wehler Modular and Hierarchical Modelling Concept for Large Biological Petri Nets Applied to Nociception
Mary Ann Blatke and Wolfgang Marvan Computation of enabled transition instances for colored Petri nets : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Fei Liu and Monika Heiner Hybrid Petri Nets for Modelling of Hybrid Biochemical Interactions : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Mostafa Herajy IDD-MC - a model checker for bounded Stochastic Petri nets : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Martin Schwarick Simulative CSL model checking of Stochastic Petri nets in IDD-MC : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Christian Rohr Re-Thinking Process Mining with Agents in Mind : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : Nils Erik Flick, Lawrence Cabac, Nicolas Denz, and Daniel Moldt 1 16 22 42 51 66 80 88 94 Helper Agents as a Means of Structuring Multi-Agent Applications : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 100
Kolja Markwardt and Daniel Moldt PyTri, a Visual Agent Programming Language : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 106
Jochen Simon and Daniel Moldt Optimised Calculation of Symmetries for State Space Reduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 112
Harro Wimmel Reachability Analysis via Net Structure : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 118
Harro Wimmel and Karsten Wolf Decidability Issues for Decentralized Controllability of Open Nets : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 124
Karsten Wolf On the notion of deadlocks in open nets : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 130
Richard Muller A graphical user interface for service adaptation : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 136
Christian Gierds and Niels Lohmann Managing test suites for services : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 142
Kathrin Kaschner The Petri Net API A collection of Petri net-related functions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 148
Niels Lohmann, Stephan Mennicke, and Christian Sura Partner datenverarbeitender Services : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 154
Christoph Wagner Autorenverzeichnis : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 160