Steering Committee MartinSchwarick MonikaHeiner Oktober JörgDesel FernuniversitätHagen EkkartKindler RobertLorenz DanielMoldt Institut für Informatik Brandenburgische Technische Universität Cottbus
03013 Cottbus Germany
Technical University of Denmark Kurt Lautenbach Universität Koblenz-Landau Universität Augsburg Universität Hamburg Rüdiger Valk Universität Hamburg Karsten Wolf (Sprecher Universität Rostock Steering Committee 1437-7969 (Preprint CS-02-10 BTU Cottbus) B52720063D520AD2CF2426FC85D585FA GROBID - A machine learning software for extracting information from scholarly documents
Vorwort

Der Workshop Algorithmen und Werkzeuge für Petrinetze bietet seit 1994 ein gemeinsames Forum für Entwickler 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 Ausrichtung, wobei auch englischsprachige Beiträge willkommen sind.

Im Jahr 2010 fand der Workshop in seiner ten Ausgabe erstmals an der Brandenburgischen Technischen 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.
Partner datenverarbeitender Services . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154 Christoph Wagner Autorenverzeichnis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
</analytic> <monogr> <title level="j">Inhaltsverzeichnis Universal Inhibitor Petri Net Optimizing the Sweep-Line Method DmitryZaitsev 16 Robert Prüfer Embedding the free-choice semantics of AND/XOR-EPCs into the Boolean semantics Hierarchical Modelling Concept for Large Biological Petri Nets Applied to Nociception ChristophSchneider JoachimWehlerModular 42 Computation of enabled transition instances for colored Petri nets Mary AnnBlätke WolfgangMarvan Hybrid Petri Nets for Modelling of Hybrid Biochemical Interactions Fei Liu and Monika Heiner 66 a model checker for bounded Stochastic Petri nets MostafaHerajy Idd-Mc - 80 MartinSchwarick Simulative CSL model checking of Stochastic Petri nets in IDD-MC Helper Agents as a Means of Structuring Multi-Agent Applications NilsErikFlick LawrenceCabac NicolasDenz DanielMoldt Wolf Decidability Issues for Decentralized Controllability of Open Nets HarroWimmel Karsten 118 Optimised Calculation of Symmetries for State Space Reduction On the notion of deadlocks in open nets KarstenWolf Richard Müller A graphical user interface for service adaptation ChristianGierds NielsLohmann 136 The Petri Net API A collection of Petri net-related functions KathrinKaschner Christian Sura