Petri Net Technology for Communication-Based Systems

Keyphrases

Publications

2003

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

volume 2472, 2003

Petri Net Technology for Communication-Based Systems - Advances in Petri Nets Petri Net Technology for Communication-Based Systems 2472 (2003)