Martin Schwarick, Monika Heiner (Hrsg.) Algorithmen und Werkzeuge für Petrinetze 17ter Workshop, AWPN 2010 Cottbus, 07.-08.Oktober 2010 Proceedings Preprints CS-02-10 Herausgeber: Martin Schwarick, Monika Heiner Brandenburgische Technische Universität Cottbus, Institut für Informatik, 03013 Cottbus, Germany {ms, monika.heiner}@informatik.tu-cottbus.de ISSN 1437-7969 (Preprint CS-02-10 BTU Cottbus) ISSN 1613-0073 (CEUR Workshop Proceedings) Online-Proceedings verfügbar unter http://CEUR-WS.org/Vol-643/ BibTEX-Eintrag für 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 permit- ted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. Vorwort Der Workshop Algorithmen und Werkzeuge für Petrinetze bietet seit 1994 ein gemeinsames Forum für En- twickler und Anwender petrinetz-basierter Technologien. Er bietet insbesondere für Nachwuchswissenschaftler die Möglichkeit, Erfahrungen bei einer wissenschaftlichen Veranstaltung zu sammeln. Das wird unterstützt durch den traditionell geringen finanziellen Aufwands für die Teilnahme und die deutschsprachige Ausrich- tung, wobei auch englischsprachige Beiträge willkommen sind. Im Jahr 2010 fand der Workshop in seiner ten Ausgabe erstmals an der Brandenburgischen Technis- chen Universität in Cottbus statt. Veranstalter war wie immer die Fachgruppe Petrinetze und verwandte Systemmodelle der Gesellschaft für Informatik. Es gab 19 eingereichte Beiträge, die alle nach einer kurzen Prüfung auf sachliche Angemessenheit durch die Organisatoren in das Programm aufgenommen wurden. Ein ausführlicher Begutachtungsprozess fand dagegen, wie auch in den vergangenen Jahren, nicht statt. Oktober 2010 Martin Schwarick Monika Heiner Steering Committee Jörg Desel (Stellvertreter) FernUniversität Hagen Ekkart Kindler Technical University of Denmark Kurt Lautenbach Universität Koblenz-Landau Robert Lorenz Universität Augsburg Daniel Moldt Universität Hamburg Rüdiger Valk Universität Hamburg Karsten Wolf (Sprecher) Universität Rostock Bisherige AWPN-Workshops 1. Berlin 1994 7. Koblenz 2000 13. Hamburg 2006 2. Oldenburg 1995 8. Eichstätt 2001 14. Koblenz 2007 3. Karlsruhe 1996 9. Potsdam 2002 15. Rostock 2008 4. Berlin 1997 10. Eichstätt 2003 5. Dortmund 1998 11. Paderborn 2004 16. Karlsruhe 2009 6. Frankfurt 1999 12. Berlin 2005 17. Cottbus 2010 IV Inhaltsverzeichnis Universal Inhibitor Petri Net . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Dmitry Zaitsev On Optimizing the Sweep-Line Method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Robert Prüfer Embedding the free-choice semantics of AND/XOR-EPCs into the Boolean semantics . . . . . . . . . . . . . 22 Christoph Schneider and Joachim Wehler Modular and Hierarchical Modelling Concept for Large Biological Petri Nets Applied to Nociception 42 Mary Ann Blätke and Wolfgang Marvan Computation of enabled transition instances for colored Petri nets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 Fei Liu and Monika Heiner Hybrid Petri Nets for Modelling of Hybrid Biochemical Interactions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 Mostafa Herajy IDD-MC - a model checker for bounded Stochastic Petri nets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 Martin Schwarick Simulative CSL model checking of Stochastic Petri nets in IDD-MC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 Christian Rohr Re-Thinking Process Mining with Agents in Mind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 Nils Erik Flick, Lawrence Cabac, Nicolas Denz, and Daniel Moldt 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 Müller 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 VI