Petri Net Technology for Communication-Based Systems 2003

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