Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science. An EATCS Series)

Jensen, Kurt

ISBN 10: 3642645569 / ISBN 13: 9783642645563

Editore: Springer, 2011

Riguardo questo articolo

In. Codice articolo ria9783642645563_new

Dati bibliografici

Titolo: Coloured Petri Nets: Basic Concepts, ...

Casa editrice: Springer

Data di pubblicazione: 2011

Legatura: Brossura

Condizione: New

Descrizione articolo

Riassunto:

This third volume of a definitive work on coloured Petri nets gives a detailed account of their application in 19 projects, most of them carried out in an industrial setting.

Contenuti:

1 Security System.- 1.1 Introduction to Security System.- 1.2 CPN Model of Security System.- 1.3 Simulation of Security System.- 1.4 Occurrence Graph Analysis of Security System.- 1.5 Implementation of Security System.- 1.6 Conclusions for Security System Project.- 2 UPC Algorithms in ATM Networks.- 2.1 Introduction to UPC Algorithms.- 2.2 CPN Model of UPC Algorithms.- 2.3 CPN Model of Traffic Sources.- 2.4 Simulation of UPC Algorithms.- 2.5 Conclusions for UPC Algorithms Project.- 3 Audio/Video System.- 3.1 Introduction to Audio/Video System.- 3.2 CPN Model of Audio/Video System.- 3.3 Simulation of Audio/Video System.- 3.4 Occurrence Graph Analysis of Audio/Video System.- 3.5 Conclusions for Audio/Video Project.- 4 Transaction Processing and Interconnect Fabric.- 4.1 Introduction to Transaction Processing.- 4.2 CPN Model of Transaction Processing.- 4.3 Introduction to Interconnect Fabric.- 4.4 CPN Model of Interconnect Fabric.- 4.5 Conclusions for Transactions and Interconnect Project.- 5 Mutual Exclusion Algorithm.- 5.1 Introduction to Mutual Exclusion Algorithm.- 5.2 CPN Model of Mutual Exclusion Algorithm.- 5.3 Occurrence Graph Analysis of Mutual Exclusion Algorithm.- 5.4 Conclusions for Mutual Exclusion Algorithm Project.- 6 ISDN Supplementary Services.- 6.1 Introduction to ISDN Supplementary Services.- 6.2 CPN Model of ISDN Supplementary Services.- 6.3 Validation of ISDN Supplementary Services.- 6.4 Conclusions for ISDN Supplementary Services Project.- 7 Intelligent Network.- 7.1 Introduction to Intelligent Network.- 7.2 CPN Model of Intelligent Network.- 7.3 Conclusions for Intelligent Network Project.- 8 Communications Gateway.- 8.1 Introduction to Communications Gateway.- 8.2 CPN Model of Communications Gateway.- 8.3 Conclusions for Communications Gateway Project.- 9 BRI Protocol in ISDN Networks.- 9.1 Introduction to BRI Protocol.- 9.2 CPN Model of BRI Protocol.- 9.3 Conclusions for BRI Protocol Project.- 10 VLSI Chip.- 10.1 Introduction to VLSI Chip.- 10.2 CPN Model of VLSI Chip.- 10.3 Conclusions for VLSI Chip Project.- 11 Arbiter Cascade.- 11.1 Introduction to Arbiter Cascade.- 11.2 CPN Model of Arbiter Cascade.- 11.3 Conclusions for Arbiter Cascade Project.- 12 Document Storage System.- 12.1 Introduction to Document Storage System.- 12.2 CPN Model of Document Storage System.- 12.3 Simulation of Document Storage System.- 12.4 Conclusions for Document Storage Project.- 13 Distributed Program Execution.- 13.1 Introduction to Distributed Program Execution.- 13.2 CPN Model of Distributed Program Execution.- 13.3 Verification of Distributed Program Execution.- 13.4 Conclusions for Distributed Program Execution Project.- 14 Electronic Funds Transfer System.- 14.1 Introduction to SADT.- 14.2 Introduction to Electronic Funds Transfer System.- 14.3 CPN Model of Electronic Funds Transfer System.- 14.4 Conclusions for Electronic Funds Transfer Project.- 15 Bank Courier Network.- 15.1 Introduction to Bank Courier Network.- 15.2 CPN Model of Bank Courier Network.- 15.3 Conclusions for Bank Courier Network Project.- 16 Network Management System.- 16.1 Introduction to Network Management System.- 16.2 CPN Model of Network Management System.- 16.3 Validation of Network Management System.- 16.4 Conclusions for Network Management Project.- 17 Naval Vessel.- 17.1 Introduction to Naval Vessel.- 17.2 CPN Model of Naval Vessel.- 17.3 Simulation of Naval Vessel.- 17.4 Conclusions for Naval Vessel Project.- 18 Chemical Production System.- 18.1 Introduction to Chemical Production System.- 18.2 CPN Model of Chemical Production System.- 18.3 Validation of Chemical Production System.- 18.4 Conclusions for Chemical Production Project.- 19 Nuclear Waste Management Programme.- 19.1 Introduction to Nuclear Waste Management Programme.- 19.2 CPN Model of Nuclear Waste Management Programme.- 19.3 Simulation of Nuclear Waste Management Programme.- 19.4 Conclusions for Nuclear Waste Management Project.- References.