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

by Hartmut Ehrig (Editor), Wolfgang Reisig (Editor), Grzegorz Rozenberg (Editor), Herbert Weber (Editor)

Overview

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.

Product Details

ISBN-13:	9783540205388
Publisher:	Springer Berlin Heidelberg
Publication date:	01/22/2004
Series:	Lecture Notes in Computer Science , #2472
Edition description:	2003
Pages:	468
Product dimensions:	6.10(w) x 9.25(h) x 0.04(d)

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.