Abstract is missing.
- Universal Inhibitor Petri NetDmitry Zaitsev 0001. 1-15 [doi]
- On Optimizing the Sweep-Line MethodRobert Prüfer. 16-21 [doi]
- Embedding the Free-choice Semantics of AND/XOR-EPCs into the Boolean SemanticsChristoph Schneider, Joachim Wehler. 22-41 [doi]
- Modular and Hierarchical Modelling Concept for Large Biological Petri Nets Applied to NociceptionMary Ann Blätke, Wolfgang Marwan. 42-50 [doi]
- Computation of Enabled Transition Instances for Colored Petri NetsFei Liu 0006, Monika Heiner. 51-65 [doi]
- Hybrid Petri Nets for Modelling of Hybrid Biochemical InteractionsMostafa Herajy, Monika Heiner. 66-79 [doi]
- IDD-MC - A Model Checker for Bounded Stochastic Petri netsMartin Schwarick. 80-87 [doi]
- Simulative CSL model checking of Stochastic Petri nets in IDD-MCChristian Rohr. 88-93 [doi]
- Re-Thinking Process Mining with Agents in MindNils Erik Flick, Lawrence Cabac, Nicolas Denz, Daniel Moldt. 94-99 [doi]
- Helper Agents as a Means of Structuring Multi-Agent ApplicationsKolja Markwardt, Daniel Moldt. 100-105 [doi]
- PyTri, a Visual Agent Programming LanguageJochen Simon, Daniel Moldt. 106-111 [doi]
- Optimised Calculation of Symmetries for State Space ReductionHarro Wimmel. 112-117 [doi]
- Reachability Analysis via Net StructureHarro Wimmel, Karsten Wolf. 118-123 [doi]
- Decidability Issues for Decentralized Controllability of Open NetsKarsten Wolf. 124-129 [doi]
- On the Notion of Deadlocks in Open NetsRichard Müller 0001. 130-135 [doi]
- A Graphical User Interface for Service AdaptationChristian Gierds, Niels Lohmann. 136-141 [doi]
- Managing Test Suites for ServicesKathrin Kaschner. 142-147 [doi]
- The Petri Net API A Collection of Petri Net-related FunctionsNiels Lohmann, Stephan Mennicke, Christian Sura. 148-153 [doi]
- Partner datenverarbeitender ServicesChristoph Wagner 0001. 154-159 [doi]