Titolo: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science. An EATCS Series)
Editore: Springer
Data di pubblicazione: 2011
Lingua: Inglese
ISBN 10: 3642645569
ISBN 13: 9783642645563
Rilegatura: Brossura
Condizione: New
Peso: 523 grammi

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Hello! Ria Christie Collections is an online venture that was initially set up in 2012 to sell books. We do not have a physical high street store. We are professional online booksellers. We only sell brand new books in perfect condition that we source from various suppliers and the publishers. Primarily, our aim is to provide an excellent service to all our customers. We always work as a team to achieve this. Our other objectives are to: 1. Ensure that all our products reach their destination quickly in a safe and secure manner 2. Answer to all our customer queries within 24 hours 3. Ensure that our customers are happy with their purchases 4. Provide all the items at a competitive price 5. Always listen to our customers Ria Christie Collections is not a registered company. It is a Sole Trader venture. Other key information is shown below: Contact Person Name: Rakesh Luchmun (Mr) Storefront Name: Ria Christie Collections Place of Establishment Address: Suite B; ARUN House; ARUN Building Arundel Road Uxbridge UB8 2RR United Kingdom E-Mail Address: riachristie@hotmail.co.uk VAT Number: GB 160 5650 25 We always work hard and aim to comply with all of Abebooks Policies. If you have any issues, please do not hesitate to write to us whether before or after a purchase. We promise to reply to you promptly and, in any case, within 24 hours. Thank you kindly! Yours sincerely Mr Rakesh Luchmun (Founder) and the Ria Christie Collections Team

Visita la pagina della libreria

Informazioni sull'azienda del venditore

Ryefield Investments Limited
175 Pield Heath Road, Uxbridge, UB8 3NL, United Kingdom

Condizioni di vendita e spedizione

Condizioni di vendita

All Returns and Refund are as per Abebooks policies.

Diritto di recesso

Se sei un consumatore puoi recedere dal contratto in conformit� con quanto segue. Per Consumatore si intende qualsiasi persona fisica che agisce per scopi estranei alla propria attivit� commerciale, imprenditoriale, artigianale o professionale.

Informazioni sul diritto di recesso

Diritto legale di recesso

Hai il diritto di recedere dal presente contratto entro 14 giorni senza fornire alcuna motivazione.

Il periodo di recesso scade dopo 14 giorni dal giorno in cui tu o una terza parte, diversa dal vettore e da te indicata, acquisisce il possesso fisico dell'ultimo bene o dell'ultimo lotto o pezzo.

Per esercitare il diritto di recesso, compila e invia elettronicamente una dichiarazione esplicita sul nostro sito Web, alla voce “I miei acquisti” nella sezione “Mio account”. Ti comunicheremo senza indugio una conferma di ricezione di tale recesso su un supporto durevole (ad es. via e-mail).

Per rispettare il termine di recesso, � sufficiente inviare la comunicazione relativa all'esercizio del diritto di recesso prima della scadenza del periodo di recesso stesso.

Effetti del recesso

In caso di recesso dal presente contratto, ti rimborseremo tutti i pagamenti ricevuti, compresi i costi di spedizione (ad eccezione dei costi supplementari derivanti dalla tua eventuale scelta di un tipo di spedizione diverso dal tipo meno costoso di consegna standard da noi offerto).

Potremo effettuare una detrazione dal rimborso per la perdita di valore dei beni forniti, qualora tale perdita sia il risultato di una manipolazione non necessaria da parte tua.

Eseguiremo il rimborso senza indebito ritardo e non oltre 14 giorni dal giorno in cui saremo informati della tua decisione di recedere dal presente contratto.

Il rimborso sar� effettuato utilizzando lo stesso mezzo di pagamento da te usato per la transazione iniziale, salvo che tu non abbia espressamente concordato altrimenti; in ogni caso, non dovrai sostenere alcun costo quale conseguenza di tale rimborso.

Possiamo trattenere il rimborso finch� non avremo ricevuto i beni oppure finch� non avrai fornito la prova di averli rispediti, a seconda di quale condizione si verifichi per prima.

Dovrai rispedire i beni o consegnarli a Ria Christie Collections, Uxbridge, United Kingdom, senza indebito ritardo e, in ogni caso, entro 14 giorni dal giorno in cui ci hai comunicato la tua volont� di recedere dal presente contratto. Il termine � rispettato se rispedisci i beni prima della scadenza del periodo di 14 giorni. I costi diretti della restituzione dei beni saranno a tuo carico. Sei responsabile solo della diminuzione del valore dei beni risultante da una manipolazione diversa da quella necessaria per stabilire la natura, le caratteristiche e il funzionamento dei beni stessi.

Eccezioni al diritto di recesso

Il diritto di recesso non si applica a:

La fornitura di giornali, periodici o riviste ad eccezione dei contratti di abbonamento; e
La fornitura di contenuto digitale non fornito su un supporto materiale (ad es. su un CD o DVD), se al momento dell'invio dell'ordine hai accettato l'inizio dell'esecuzione e hai riconosciuto che non avresti potuto recedere una volta iniziata l'esecuzione.

Condizioni di spedizione

Orders usually ship within 2 business days. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. Thank you!

Tariffe di spedizione da Regno Unito a U.S.A.

Tariffe di spedizione da Regno Unito a U.S.A.
Quantit� dell'ordine	Da 6 a 12 giorni lavorativi	Da 6 a 12 giorni lavorativi
Primo articolo	EUR 13.17	EUR 15.16

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.