Lectures on Concurrency and Petri Nets: Advances in Petri Nets

Wil M. P. van der Aalst (auth.), Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.)3540222618, 9783540222613, 9783540277552

This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichst?tt, Germany in September 2003.

In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational aspects of Petri nets will appreciate the book as well.

---

Table of contents :
Front Matter….Pages –
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management….Pages 1-65
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming….Pages 66-86
Timed Automata: Semantics, Algorithms and Tools….Pages 87-124
Petri Nets and Dependability….Pages 125-179
Process Algebra….Pages 180-209
A Coloured Petri Net Approach to Protocol Verification….Pages 210-290
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets….Pages 291-327
A Survey on Non-interference with Petri Nets….Pages 328-344
Synthesis of Asynchronous Hardware from Petri Nets….Pages 345-401
Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned….Pages 402-412
Unbounded Petri Net Synthesis….Pages 413-438
Petri Nets and Software Engineering….Pages 439-466
Model Validation in Controller Design….Pages 467-495
Graph Grammars and Petri Net Transformations….Pages 496-536
Message Sequence Charts….Pages 537-558
Model-Based Development of Executable Business Processes for Web Services….Pages 559-584
Modelling and Control with Modules of Signal Nets….Pages 585-625
Application of Coloured Petri Nets in System Development….Pages 626-685
Bigraphs for Petri Nets….Pages 686-701
Notes on Timed Concurrent Constraint Programming….Pages 702-741
Petri Nets and Manufacturing Systems: An Examples-Driven Tour….Pages 742-788
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems….Pages 789-818
Object Petri Nets….Pages 819-848
Back Matter….Pages –