Lectures on Concurrency and Petri Nets: Advances in Petri Nets / Edition 1

Lectures on Concurrency and Petri Nets: Advances in Petri Nets / Edition 1

by Jorg Desel
     
 

ISBN-10: 3540222618

ISBN-13: 9783540222613

Pub. Date: 08/05/2004

Publisher: Springer Berlin Heidelberg

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

Overview

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.

Product Details

ISBN-13:
9783540222613
Publisher:
Springer Berlin Heidelberg
Publication date:
08/05/2004
Series:
Lecture Notes in Computer Science Series, #3098
Edition description:
2004
Pages:
852
Product dimensions:
6.10(w) x 9.25(h) x (d)

Table of Contents

Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.- Timed Automata: Semantics, Algorithms and Tools.- Petri Nets and Dependability.- Process Algebra.- A Coloured Petri Net Approach to Protocol Verification.- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.- A Survey on Non-interference with Petri Nets.- Synthesis of Asynchronous Hardware from Petri Nets.- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.- Unbounded Petri Net Synthesis.- Petri Nets and Software Engineering.- Model Validation in Controller Design.- Graph Grammars and Petri Net Transformations.- Message Sequence Charts.- Model-Based Development of Executable Business Processes for Web Services.- Modelling and Control with Modules of Signal Nets.- Application of Coloured Petri Nets in System Development.- Bigraphs for Petri Nets.- Notes on Timed Concurrent Constraint Programming.- Petri Nets and Manufacturing Systems: An Examples-Driven Tour.- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.- Object Petri Nets.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >