Articoli correlati a Modular Construction and Partial Order Semantics of...
Sinossi
Petri nets are a well-known model for parallel systems, usedfor both applications and theoretical studies. They can beused for specification, modelling, and analysis, and offer agraphical representation and a clear view of concurrency.For the design of large systems, modular construction isindispensible, and considerable effort has been spent onstudying themodular construction of Petri nets.This book studies the modular construction of nets, and inparticular the top-down design of nets by action refinement.Suitable behavior descriptions are presented and specialcare is taken to justify these descriptions by showing thattheyare necessary under reasonable specificationrequirements. In particular, itis shown that partial-ordersemantics is necessary to support action refinement.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Petri nets and their semantics.- Parallel composition and deadlocking.- Behaviour preserving refinement of places and transitions.- Action refinement and interval words.- Action refinement and bisimulation.- Partial order semantics for nets with capacities.- Concluding remarks.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540557679
- ISBN 13 9783540557678
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine268
Compra nuovo
Visualizza questo articolo
EUR 54,83
EUR 3,57 per la spedizione in U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per Modular Construction and Partial Order Semantics of...
Foto dell'editore
Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science, 625)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020170539
Quantità: Più di 20 disponibili
Foto dell'editore
Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. Like NewLIKE NEW. book. Codice articolo ERICA83335405576793
Quantità: 1 disponibili
Foto dell'editore
Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science, 625)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540557678_new
Quantità: Più di 20 disponibili
Foto dell'editore
Modular Construction and Partial Order Semantics of Petri Nets
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 268. Codice articolo 263104035
Quantità: 1 disponibili
Immagini fornite dal venditore
Modular Construction and Partial Order Semantics of Petri Nets
Editore:
Springer Berlin Heidelberg, 1992
ISBN 10: 3540557679
ISBN 13: 9783540557678
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 - Petri nets are a well-known model for parallel systems, usedfor both applications and theoretical studies. They can beused for specification, modelling, and analysis, and offer agraphical representation and a clear view of concurrency.For the design of large systems, modular construction isindispensible, and considerable effort has been spent onstudying themodular construction of Petri nets.This book studies the modular construction of nets, and inparticular the top-down design of nets by action refinement.Suitable behavior descriptions are presented and specialcare is taken to justify these descriptions by showing thattheyare necessary under reasonable specificationrequirements. In particular, itis shown that partial-ordersemantics is necessary to support action refinement. Codice articolo 9783540557678
Quantità: 1 disponibili
Foto dell'editore
Modular Construction and Partial Order Semantics of Petri Nets
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 268 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 5825276
Quantità: 1 disponibili
Foto dell'editore
Modular Construction and Partial Order Semantics of Petri Nets
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 268. Codice articolo 183104041
Quantità: 1 disponibili
Immagini fornite dal venditore
Modular Construction and Partial Order Semantics of Petri Nets
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Petri nets are a well-known model for parallel systems, usedfor both applications and theoretical studies. They can beused for specification, modelling, and analysis, and offer agraphical representation and a clear view of concurrency.For the desi. Codice articolo 4893724
Quantità: Più di 20 disponibili
Foto dell'editore
Modular Construction and Partial Order Semantics of Petri Nets
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540557678
Quantità: 10 disponibili
Immagini fornite dal venditore
Modular Construction and Partial Order Semantics of Petri Nets
Editore:
Springer Berlin Heidelberg Jul 1992, 1992
ISBN 10: 3540557679
ISBN 13: 9783540557678
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 -Petri nets are a well-known model for parallel systems, usedfor both applications and theoretical studies. They can be used for specification, modelling, and analysis, and offer a graphical representation and a clear view of concurrency. For the design of large systems, modular construction is indispensible, and considerable effort has been spent on studying themodular construction of Petri nets. This book studies the modular construction of nets, and in particular the top-down design of nets by action refinement. Suitable behavior descriptions are presented and special care is taken to justify these descriptions by showing that theyare necessary under reasonable specification requirements. In particular, itis shown that partial-order semantics is necessary to support action refinement. 268 pp. Englisch. Codice articolo 9783540557678
Quantità: 2 disponibili