Articoli correlati a Transactions on Petri Nets and Other Models of Concurrency...
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800 - Brossura
Sinossi
timer expires before an acknowledgementhasbeen received, the transmitter retransmits packets that havebeen sent but are as yet notacknowledged. It may also be possibleforpacketsto be lost due to routers in networks discarding packets when congested.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Designing a Workflow System Using Coloured Petri Nets.- From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.- Soundness of Workflow Nets with Reset Arcs.- Parameterised Coloured Petri Net Channel Models.- On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol.- Modelling Mobile IP with Mobile Petri Nets.- A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example.- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.- On Bisimulation Theory in Linear Higher-Order ?-Calculus.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2009
- ISBN 10 3642048544
- ISBN 13 9783642048548
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero edizione1
- Numero di pagine296
- RedattoreJensen Kurt
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 52,67
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Transactions on Petri Nets and Other Models of Concurrency...
Foto dell'editore
Transactions on Petri Nets and Other Models of Concurrency III
Editore:
Springer Berlin Heidelberg, 2009
ISBN 10: 3642048544
ISBN 13: 9783642048548
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher. Codice articolo 6131839/2
Quantità: 1 disponibili
Immagini fornite dal venditore
Transactions on Petri Nets and Other Models of Concurrency III
Editore:
Springer Berlin Heidelberg, 2009
ISBN 10: 3642048544
ISBN 13: 9783642048548
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Designing a Workflow System Using Coloured Petri Nets.- From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.- Soundness of Workflow Nets with Reset Arcs.- Parameterised Coloured Petri Net Channel Models.- On Modellin. Codice articolo 5044439
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Transactions on Petri Nets and Other Models of Concurrency III
Editore:
Springer Berlin Heidelberg Nov 2009, 2009
ISBN 10: 3642048544
ISBN 13: 9783642048548
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 -AccordingtoHolzmann [14], protocol speci cationscomprise veelements: the service the protocol provides toits users; the set of messages that are exchanged between protocol entities; the format of each message; the rules governingm- sage exchange (procedures); and the assumptionsabout the environment in which the protocol is intended tooperate. In protocol standards documents, information related to the operatingenvironment isusually writteninformally andmayoccur in several di erentplaces [37]. This informal speci cation style canlead to misunderstandings andpossibly incompatible implementations. In contrast,executableformalmodelsrequireprecisespeci cations oftheoperating environment. Ofparticularsigni canceisthecommunicationmediumorchannel over which the protocol operates. Channelscan havedi erent characteristics depending on the physical media (e. g. optical bre, copper, cable orunguided media (radio)) they employ. The characteristics also depend on the levelof the protocol inacomputer protocol architecture. Forexample, the link-leveloperates over a singlemedium,whereas the network, transport andapplication levelsmayoperate over a network,or network of networks such as the Internet,which couldemploy several di erent physical media. Channels (such as satellite links) can be noisy resulting in bit errors in packets. To correct biterrors in packets, many importantprotocols (such the Internet s TransmissionControl Protocol [27]) use CyclicRedundancy Checks (CRCs)[28] to detect errors. On detectingan error,the receiver discards the packet andrelies on the sender to retransmit itforrecovery,known as Au- maticRepeatreQuest(ARQ)[28]. Thisisachievedbythereceiveracknowledging the receipt of good packets, andby the transmitter maintainingatimer. When the timer expires before an acknowledgementhasbeen received, the transmitter retransmits packets that havebeen sent but are as yet notacknowledged. It may also be possibleforpacketsto be lost due to routers in networks discarding packets when congested. 296 pp. Englisch. Codice articolo 9783642048548
Quantità: 2 disponibili
Immagini fornite dal venditore
Transactions on Petri Nets and Other Models of Concurrency III
Editore:
Springer Berlin Heidelberg, 2009
ISBN 10: 3642048544
ISBN 13: 9783642048548
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 - AccordingtoHolzmann [14], protocol speci cationscomprise veelements: the service the protocol provides toits users; the set of messages that are exchanged between protocol entities; the format of each message; the rules governingm- sage exchange (procedures); and the assumptionsabout the environment in which the protocol is intended tooperate. In protocol standards documents, information related to the operatingenvironment isusually writteninformally andmayoccur in several di erentplaces [37]. This informal speci cation style canlead to misunderstandings andpossibly incompatible implementations. In contrast,executableformalmodelsrequireprecisespeci cations oftheoperating environment. Ofparticularsigni canceisthecommunicationmediumorchannel over which the protocol operates. Channelscan havedi erent characteristics depending on the physical media (e. g. optical bre, copper, cable orunguided media (radio)) they employ. The characteristics also depend on the levelof the protocol inacomputer protocol architecture. Forexample, the link-leveloperates over a singlemedium,whereas the network, transport andapplication levelsmayoperate over a network,or network of networks such as the Internet,which couldemploy several di erent physical media. Channels (such as satellite links) can be noisy resulting in bit errors in packets. To correct biterrors in packets, many importantprotocols (such the Internet s TransmissionControl Protocol [27]) use CyclicRedundancy Checks (CRCs)[28] to detect errors. On detectingan error,the receiver discards the packet andrelies on the sender to retransmit itforrecovery,known as Au- maticRepeatreQuest(ARQ)[28]. Thisisachievedbythereceiveracknowledging the receipt of good packets, andby the transmitter maintainingatimer. When the timer expires before an acknowledgementhasbeen received, the transmitter retransmits packets that havebeen sent but are as yet notacknowledged. It may also be possibleforpacketsto be lost due to routers in networks discarding packets when congested. Codice articolo 9783642048548
Quantità: 1 disponibili
Immagini fornite dal venditore
Transactions on Petri Nets and Other Models of Concurrency III
ISBN 10: 3642048544
ISBN 13: 9783642048548
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -timer expires before an acknowledgementhasbeen received, the transmitter retransmits packets that havebeen sent but are as yet notacknowledged. It may also be possibleforpacketsto be lost due to routers in networks discarding packets when congested.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch. Codice articolo 9783642048548
Quantità: 2 disponibili
Foto dell'editore
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science, 5800)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642048548_new
Quantità: Più di 20 disponibili
Foto dell'editore
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783642048548
Quantità: 10 disponibili
Foto dell'editore
Transactions on Petri Nets and Other Models of Concurrency III
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 296. Codice articolo 261375953
Quantità: 4 disponibili
Foto dell'editore
Transactions on Petri Nets and Other Models of Concurrency III
Editore:
Springer-Verlag New York Inc, 2010
ISBN 10: 3642048544
ISBN 13: 9783642048548
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 274 pages. 9.25x6.00x0.75 inches. In Stock. Codice articolo x-3642048544
Quantità: 2 disponibili
Foto dell'editore
Transactions on Petri Nets and Other Models of Concurrency III
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 296. Codice articolo 181375963
Quantità: 4 disponibili