AWPN

Keyphrases

Publications

2010

Harro Wimmel
Optimised Calculation of Symmetries for State Space Reduction. AWPN (2010)
Mary Ann Blätke, Wolfgang Marwan
Modular and Hierarchical Modelling Concept for Large Biological Petri Nets Applied to Nociception. AWPN (2010)
Martin Schwarick
IDD-MC - A Model Checker for Bounded Stochastic Petri nets. AWPN (2010)
Kathrin Kaschner
Managing Test Suites for Services. AWPN (2010)
Christian Rohr
Simulative CSL model checking of Stochastic Petri nets in IDD-MC. AWPN (2010)
Richard Müller
On the Notion of Deadlocks in Open Nets. AWPN (2010)
Karsten Wolf
Decidability Issues for Decentralized Controllability of Open Nets. AWPN (2010)
Nils Erik Flick, Lawrence Cabac, Nicolas Denz, Daniel Moldt
Re-Thinking Process Mining with Agents in Mind. AWPN (2010)
Harro Wimmel, Karsten Wolf
Reachability Analysis via Net Structure. AWPN (2010)
Fei Liu, Monika Heiner
Computation of Enabled Transition Instances for Colored Petri Nets. AWPN (2010)
Niels Lohmann, Stephan Mennicke, Christian Sura
The Petri Net API A Collection of Petri Net-related Functions. AWPN (2010)
Christoph Wagner
Partner datenverarbeitender Services. AWPN (2010)
Dmitry Zaitsev
Universal Inhibitor Petri Net. AWPN (2010)
Christoph Schneider, Joachim Wehler
Embedding the Free-choice Semantics of AND/XOR-EPCs into the Boolean Semantics. AWPN (2010)
Jochen Simon, Daniel Moldt
PyTri, a Visual Agent Programming Language. AWPN (2010)
Kolja Markwardt, Daniel Moldt
Helper Agents as a Means of Structuring Multi-Agent Applications. AWPN (2010)
Mostafa Herajy, Monika Heiner
Hybrid Petri Nets for Modelling of Hybrid Biochemical Interactions. AWPN (2010)
Christian Gierds, Niels Lohmann
A Graphical User Interface for Service Adaptation. AWPN (2010)
Robert Prüfer
On Optimizing the Sweep-Line Method. AWPN (2010)

volume 643, 2010

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010 AWPN 643 (2010)