Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Author: Prof. Kurt Jensen
Published by Springer Berlin Heidelberg
ISBN: 978-3-642-64556-3
DOI: 10.1007/978-3-642-60794-3

Table of Contents:

Security System
UPC Algorithms in ATM Networks
Audio/Video System
Transaction Processing and Interconnect Fabric
Mutual Exclusion Algorithm
ISDN Supplementary Services
Intelligent Network
Communications Gateway
BRI Protocol in ISDN Networks
VLSI Chip
Arbiter Cascade
Document Storage System
Distributed Program Execution
Electronic Funds Transfer System
Bank Courier Network
Network Management System
Naval Vessel
Chemical Production System
Nuclear Waste Management Programme

Contents Overview: Security System -- UPC Algorithms in ATM Networks -- Audio/Video System -- Transaction Processing and Interconnect Fabric -- Mutual Exclusion Algorithm -- ISDN Supplementary Services -- Intelligent Network -- Communications Gateway -- BRI Protocol in ISDN Networks -- VLSI Chip -- Arbiter Cascade -- Document Storage System -- Distributed Program Execution -- Electronic Funds Transfer System -- Bank Courier Network -- Network Management System -- Naval Vessel -- Chemical Production System -- Nuclear Waste Management Programme -- References
This is the third volume of a definitive work on coloured Petri nets. It contains a detailed presentation of 19 applications of CP-nets across a broad range of application areas, including a security system, ATM networks, audio/video systems, transaction processing, ISDN services, VLSI chips, document storage, distributed programming, electronic funds transfer, a naval vessel, chemical processing, nuclear waste management, and many more. Most of the projects were carried out in an industrial setting, and in each case the original authors have cooperated with the author and approved the new presentation. The author has taken care to unify the terminology and the CPN diagrams and to ensure that the background knowledge required has been provided in the first two volumes of the work