Petri Net Technology for Communication-Based Systems 2003

@proceedings{DBLP:conf/dfg/2003,
  editor    = {Hartmut Ehrig and
               Wolfgang Reisig and
               Grzegorz Rozenberg and
               Herbert Weber},
  title     = {Petri Net Technology for Communication-Based Systems - Advances
               in Petri Nets},
  booktitle = {Petri Net Technology for Communication-Based Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2472},
  year      = {2003},
  isbn      = {3-540-20538-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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