Petri Net Technology for Communication-Based Systems: Advances in Petri Nets: 2472 - Brossura

Ehrig, Hartmut; Weber, Herbert; Rozenberg, Grzegorz; Reisig, Wolfgang

Brossura

ISBN 10: 3540205381 ISBN 13: 9783540205388

Casa editrice: Springer, 2008

Riassunto

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.

Su questo libro

Contenuti

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 3540205381
• ISBN 13: 9783540205388
• Rilegatura: Copertina flessibile
• Numero di pagine: 476
• Contatto del produttore: GPSR Kontakt; ProductSafety@springernature.com; ; Tiergartenstr. 17; Heidelberg; 69121; Germania