Petri Net Technology for communication-based systems : advances in Petri Nets
Author(s)
Bibliographic Information
Petri Net Technology for communication-based systems : advances in Petri Nets
（Lecture notes in computer science, 2472）
Springer, c2003
Available at / 22 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||247203065869
-
INTERNATIONAL CHRISTIAN UNIVERSITY LIBRARY図
V.2472007.6/L507/v.247206038049,
007.6/L507/v.247206038049 -
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
"... were presented at the 1st and 2nd International Colloquia on Petri Net Technologies for Modeling Communication-Based Systems, held in Berlin in 1999 and 2001, ... A careful selectionof contributions ... are presented in this volume." - pref.
Description and Table of Contents
Description
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.
Table of Contents
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.
by "Nielsen BookData"
