Hartmut Ehrig / Wolfgang Reisig / Grzegorz Rozenberg / Herbert Weber (eds.)

Petri Net Technology for Communication-Based Systems

Advances in Petri Nets
Herausgegeben:Ehrig, Hartmut; Reisig, Wolfgang; Rozenberg, Grzegorz; Weber, Herbert

• Broschiertes Buch

Produktbeschreibung

This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes.

The book builds on the success of a special program of the German Science Foundation (DFG) on Petri Net Technology as well as on broad participation from the international Petri net research community.

---

This volume, Petri Net Technology for Communication-Based Systems, is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m- elingcommunication-basedsystems,withspecialfocusonwork?owmanagement and business processes. In the last 6 years this topic has been studied by the DFG Forschergruppe Petri Net Technology in Berlin in close cooperation with the international c- munity. The main results of this cooperation were presented at the 1st and 2nd InternationalColloquiaonPetriNetTechnologiesforModelingCommunication- Based Systems, held in Berlin in 1999 and 2001,respectively. A careful selection of contributions by members of the DFG Forschergruppe and by international experts in this ?eld are presented in this volume. Taking into account the fru- ful discussions during the two colloquia and the cross-refereeing process for the accepted papers, a high degree of common understanding was achieved, leading to a highly comprehensive presentation in this volume. The topics of the papers in this volume can be roughly classi?ed into the following two areas: Petri net technology and application to communication-based systems. Since most papers comprise aspects of both areas, we chose an alphabetic order. However, in the following we give a rough overview of the contributions in both areas according to the main focus of the corresponding papers.

Produktdetails

• Lecture Notes in Computer Science 2472
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-20538-8
• 2003
• Seitenzahl: 476
• Erscheinungstermin: 25. November 2003
• Englisch
• Abmessung: 235mm x 155mm x 26mm
• Gewicht: 686g
• ISBN-13: 9783540205388
• ISBN-10: 3540205381
• Artikelnr.: 12490836

Autorenporträt

Hartmut Ehrig, Technische Universität Berlin, Germany / Wolfgang Reisig, Humboldt-Universität zu Berlin, Germany / Grzegorz Rozenberg, University of Leiden, The Netherlands / Herbert Weber, Technische Universität Berlin, Germany

Inhaltsangabe

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.- Application Development Assistance with the Petri Net Baukasten.- Petri Net Transformations in the ?Petri Net Baukasten?.- Four Steps Towards Sound Business Process Models.- Generation of Animation Views for Petri Nets in GenGED.- The Petri Net Kernel.- The Petri Net Markup Language.- Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets.- Rule-Based Refinement of Petri Nets: A Survey.- Modelling a Railway Crossing with Message Sequence Charts and Petri Nets.- Quantitative Engineering of Business Processes with VIPbusiness.- Inter-organizational Business Process Management with XML Nets.- Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL.- Open Petri Nets as Semantic Model for Workflow Integration.- Team Automata for CSCW - A Survey -.- Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets.- BASYSNET - An Integrated Approach for Automated Control System Development.- The Electronic Tool Integration Platform (ETI) and the Petri Net Technology.- Inheritance of Business Processes: A Journey Visiting Four Notorious Problems.- A Formal Framework for Petri Net Class Transformations.- Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.