Abstract is missing.
- The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGYHerbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali. 1-21 [doi]
- Application Development Assistance with the Petri Net BaukastenHerbert Weber. 22-36 [doi]
- Petri Net Transformations in the Petri Net Baukasten Benjamin Braatz, Hartmut Ehrig, Milan Urbásek. 37-65 [doi]
- Four Steps Towards Sound Business Process ModelsJuliane Dehnert. 66-82 [doi]
- Generation of Animation Views for Petri Nets in GenGEDClaudia Ermel, Roswitha Bardohl, Hartmut Ehrig. 83-108 [doi]
- The Petri Net KernelMichael Weber, Ekkart Kindler. 109-124 [doi]
- The Petri Net Markup LanguageMichael Weber, Ekkart Kindler. 124-144 [doi]
- Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order NetsKathrin Hoffmann. 145-160 [doi]
- Rule-Based Refinement of Petri Nets: A SurveyJulia Padberg, Milan Urbásek. 161-196 [doi]
- Modelling a Railway Crossing with Message Sequence Charts and Petri NetsOlaf Kluge. 197-218 [doi]
- Quantitative Engineering of Business Processes with VIP businessJörg Desel, Thomas Erwin. 219-242 [doi]
- Inter-organizational Business Process Management with XML NetsKirsten Lenz, Andreas Oberweis. 243-263 [doi]
- Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDLPaul W. P. J. Grefen, Samuil Angelov. 264-280 [doi]
- Open Petri Nets as Semantic Model for Workflow IntegrationReiko Heckel. 281-294 [doi]
- Team Automata for CSCW - A SurveyJetty Kleijn. 295-320 [doi]
- Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri NetsRik Eshuis, Roel Wieringa. 321-351 [doi]
- BASYSNET - An Integrated Approach for Automated Control System DevelopmentEckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste. 352-362 [doi]
- The Electronic Tool Integration Platform (ETI) and the Petri Net TechnologyVolker Braun, Tiziana Margaria, Bernhard Steffen. 363-382 [doi]
- Inheritance of Business Processes: A Journey Visiting Four Notorious ProblemsWil M. P. van der Aalst. 383-408 [doi]
- A Formal Framework for Petri Net Class TransformationsFrancesco Parisi-Presicce. 409-430 [doi]
- Concurrency Based Transition Refinement for the Verification of Distributed AlgorithmsSibylle Peuker. 430-454 [doi]