+612 9045 4394
 
CHECKOUT
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets - Hartmut Ehrig

Petri Net Technology for Communication-Based Systems

Advances in Petri Nets

By: Hartmut Ehrig (Editor), Wolfgang Reisig (Editor), Grzegorz Rozenberg (Editor), H. Weber (Editor)

Paperback

Published: 25th November 2003
Ships: 5 to 9 business days
5 to 9 business days
$181.29
or 4 easy payments of $45.32 with Learn more

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.

The Petri Net Baukasten of the DFG Forschergruppe: Petri Net Technologyp. 1
Application Development Assistance with the Petri Net Baukastenp. 22
Petri Net Transformations in the >>Petri Net Baukasten<<p. 37
Four Steps Towards Sound Business Process Modelsp. 66
Generation of Animation Views for Petri Nets in GenGEDp. 83
The Petri Net Kernelp. 109
The Petri Net Markup Languagep. 124
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Netsp. 145
Rule-Based Refinement of Petri Nets: A Surveyp. 161
Modelling a Railway Crossing with Message Sequence Charts and Petri Netsp. 197
Quantitative Engineering of Business Processes with VIP businessp. 219
Inter-organizational Business Process Management with XML Netsp. 243
Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDLp. 264
Open Petri Nets as Semantic Model for Workflow Integrationp. 281
Team Automata for CSCW - A Surveyp. 295
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Netsp. 321
BASYSNET - An Integrated Approach for Automated Control System Developmentp. 352
The Electronic Tool Integration Platform (ETI) and the Petri Net Technologyp. 363
Inheritance of Business Processes: A Journey Visiting Four Notorious Problemsp. 383
A Formal Framework for Petri Net Class Transformationsp. 409
Concurrency Based Transition Refinement for the Verification of Distributed Algorithmsp. 430
Author Indexp. 455
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540205388
ISBN-10: 3540205381
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 468
Published: 25th November 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.44
Weight (kg): 0.66