Articles liés à Modular Construction and Partial Order Semantics of...
Synopsis
Petri nets are a well-known model for parallel systems, used for 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Modular Construction and Partial Order Semantics of...
Image fournie par le vendeur
Modular Construction and Partial Order Semantics of Petri Nets
Edité par
Springer Berlin Heidelberg, 1992
ISBN 10 : 3540557679
ISBN 13 : 9783540557678
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 4893724
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Modular Construction and Partial Order Semantics of Petri Nets
Edité par
Springer Berlin Heidelberg, 1992
ISBN 10 : 3540557679
ISBN 13 : 9783540557678
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540557678
Quantité disponible : 1 disponible(s)
Image d'archives
Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science)
Edité par
Springer, 1992
ISBN 10 : 3540557679
ISBN 13 : 9783540557678
Ancien ou d'occasion
Paperback
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Like New. Like NewLIKE NEW. book. N° de réf. du vendeur ERICA83335405576793
Quantité disponible : 1 disponible(s)
Image d'archives
Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science, 625)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540557678_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Modular Construction and Partial Order Semantics of Petri Nets
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1992, 1992
ISBN 10 : 3540557679
ISBN 13 : 9783540557678
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch. N° de réf. du vendeur 9783540557678
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Modular Construction and Partial Order Semantics of Petri Nets
Edité par
Springer Berlin Heidelberg Jul 1992, 1992
ISBN 10 : 3540557679
ISBN 13 : 9783540557678
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540557678
Quantité disponible : 2 disponible(s)
Image d'archives
Modular Construction and Partial Order Semantics of Petri Nets
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540557678
Quantité disponible : 10 disponible(s)
Image d'archives
Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science, 625)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020170539
Quantité disponible : Plus de 20 disponibles