Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical UseAuthor: Prof. Kurt Jensen Published by Springer Berlin Heidelberg ISBN: 978-3-642-64556-3 DOI: 10.1007/978-3-642-60794-3Table 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