Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use /

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, docume...

Full description

Bibliographic Details
Main Author:	Jensen, Kurt
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.
Series:	Monographs in Theoretical Computer Science An EATCS Series.
Subjects:	Computer science. Software engineering. Data structures (Computer science) Computational complexity. Computer simulation. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

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.