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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1997.
|
| Series: | Monographs in Theoretical Computer Science An EATCS Series.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xi, 265 pages 154 illustrations) |
| ISBN: | 9783642607943 (electronic bk.) 3642607942 (electronic bk.) |
| ISSN: | 1431-2654 |