default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th AWPN 2010: Cottbus, Germany
- Martin Schwarick, Monika Heiner:
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010. CEUR Workshop Proceedings 643, CEUR-WS.org 2010 - Dmitry Zaitsev:
Universal Inhibitor Petri Net. 1-15 - Robert Prüfer:
On Optimizing the Sweep-Line Method. 16-21 - Christoph Schneider, Joachim Wehler:
Embedding the Free-choice Semantics of AND/XOR-EPCs into the Boolean Semantics. 22-41 - Mary Ann Blätke, Wolfgang Marwan:
Modular and Hierarchical Modelling Concept for Large Biological Petri Nets Applied to Nociception. 42-50 - Fei Liu, Monika Heiner:
Computation of Enabled Transition Instances for Colored Petri Nets. 51-65 - Mostafa Herajy, Monika Heiner:
Hybrid Petri Nets for Modelling of Hybrid Biochemical Interactions. 66-79 - Martin Schwarick:
IDD-MC - A Model Checker for Bounded Stochastic Petri nets. 80-87 - Christian Rohr:
Simulative CSL model checking of Stochastic Petri nets in IDD-MC. 88-93 - Nils Erik Flick, Lawrence Cabac, Nicolas Denz, Daniel Moldt:
Re-Thinking Process Mining with Agents in Mind. 94-99 - Kolja Markwardt, Daniel Moldt:
Helper Agents as a Means of Structuring Multi-Agent Applications. 100-105 - Jochen Simon, Daniel Moldt:
PyTri, a Visual Agent Programming Language. 106-111 - Harro Wimmel:
Optimised Calculation of Symmetries for State Space Reduction. 112-117 - Harro Wimmel, Karsten Wolf:
Reachability Analysis via Net Structure. 118-123 - Karsten Wolf:
Decidability Issues for Decentralized Controllability of Open Nets. 124-129 - Richard Müller:
On the Notion of Deadlocks in Open Nets. 130-135 - Christian Gierds, Niels Lohmann:
A Graphical User Interface for Service Adaptation. 136-141 - Kathrin Kaschner:
Managing Test Suites for Services. 142-147 - Niels Lohmann, Stephan Mennicke, Christian Sura:
The Petri Net API A Collection of Petri Net-related Functions. 148-153 - Christoph Wagner:
Partner datenverarbeitender Services. 154-159
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-22 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
