Coloured Petri Nets [electronic resource] : Basic Concepts, Analysis Methods and Practical Use

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