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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

The contents of this volume are application oriented. The volume contains a de­ tailed presentation of 19 applications of CP-nets, covering a broad range of ap­ plication areas. Most of the projects have been carried out in an industrial set­ ting. The volume presents the most important ideas and experiences from the projects, in a way which is useful also for readers who do not yet have personal experience with the construction and analysis of large CPN models. The volume demonstrates the feasibility of using CP-nets and the CPN tools for industrial projects. The presentation of the projects is based upon material provided by the per­ sons who have accomplished the individual projects. At the beginning of each chapter, we list their names and we say where the original material has been published. The original material often contains more elaborate information, e.g., about details of the modelled system and related work. I have edited the material provided by the original authors. I have modified some of the CP-nets, e.g., to improve the layout and use more mnemonic names. In some cases, I have also changed a few net components, e.g., merged two tran­ sitions or introduced a Standard ML function for operations that are used in many arc expressions. These modifications make the CP-nets more appropriate as study material, but they do not change the essential behaviour of the CPN models.

Author(s): Kurt Jensen
Series: Monographs in Theoretical Computer Science. An EATCS Series
Publisher: Springer
Year: 1997

Language: English
Pages: 267
Tags: Software Engineering; Computation by Abstract Devices; Simulation and Modeling; Discrete Mathematics in Computer Science; Data Structures

Front Matter....Pages I-IX
Security System....Pages 1-19
UPC Algorithms in ATM Networks....Pages 21-37
Audio/Video System....Pages 39-50
Transaction Processing and Interconnect Fabric....Pages 51-72
Mutual Exclusion Algorithm....Pages 73-84
ISDN Supplementary Services....Pages 85-98
Intelligent Network....Pages 99-115
Communications Gateway....Pages 117-129
BRI Protocol in ISDN Networks....Pages 131-148
VLSI Chip....Pages 149-160
Arbiter Cascade....Pages 161-169
Document Storage System....Pages 171-178
Distributed Program Execution....Pages 179-188
Electronic Funds Transfer System....Pages 189-201
Bank Courier Network....Pages 203-212
Network Management System....Pages 213-223
Naval Vessel....Pages 225-235
Chemical Production System....Pages 237-245
Nuclear Waste Management Programme....Pages 247-260
Back Matter....Pages 261-268