Coloured Petri Nets, Vol. 3
Subtitle: Basic Concepts, Analysis Methods and Practical Use
By: by Kurt Jensen
Series: Monographs in Theoretical Computer Science An EATCS Series
Publisher: Springer Berlin Heidelberg
Published: 1997
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 265
ISBN-13: 9783642607943
Subjects: Software engineering; Computational complexity; Computer simulation; Computer science; Data structures (Computer science)
Description: 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.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Contents Overview: Security System; title: UPC Algorithms in ATM Networks; title: Audio/Video System; title: Transaction Processing and Interconnect Fabric; title: Mutual Exclusion Algorithm; title: ISDN Supplementary Services; title: Intelligent Network; title: Communications Gateway; title: BRI Protocol in ISDN Networks; title: VLSI Chip; title: Arbiter Cascade; title: Document Storage System; title: Distributed Program Execution; title: Electronic Funds Transfer System; title: Bank Courier Network; title: Network Management System; title: Naval Vessel; title: Chemical Production System; title: Nuclear Waste Management Programme; title: References.