Articoli correlati a Coloured Petri Nets: Basic Concepts, Analysis Methods...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Product Description
Book by Jensen Kurt
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 92,27
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Coloured Petri Nets: Basic Concepts, Analysis Methods...
Immagini fornite dal venditore
Coloured Petri Nets
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5066780
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Coloured Petri Nets
Editore:
Springer Berlin Heidelberg Sep 2011, 2011
ISBN 10: 3642645569
ISBN 13: 9783642645563
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 284 pp. Englisch. Codice articolo 9783642645563
Quantità: 2 disponibili
Immagini fornite dal venditore
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use
Editore:
Springer Berlin Heidelberg, 2011
ISBN 10: 3642645569
ISBN 13: 9783642645563
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783642645563
Quantità: 1 disponibili
Immagini fornite dal venditore
Coloured Petri Nets
ISBN 10: 3642645569
ISBN 13: 9783642645563
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch. Codice articolo 9783642645563
Quantità: 1 disponibili
Foto dell'editore
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science. An EATCS Series)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642645563_new
Quantità: Più di 20 disponibili
Foto dell'editore
Coloured Petri Nets
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 284. Codice articolo 2647980028
Quantità: 4 disponibili
Foto dell'editore
Coloured Petri Nets
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand pp. 284 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 44802595
Quantità: 4 disponibili
Foto dell'editore
Coloured Petri Nets
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 284. Codice articolo 1847980022
Quantità: 4 disponibili
Foto dell'editore
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science. An EATCS Series)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020232886
Quantità: Più di 20 disponibili