Items related to Modular Construction and Partial Order Semantics of...

Modular Construction and Partial Order Semantics of Petri Nets: 625 (Lecture Notes in Computer Science, 625) - Softcover

 
9783540557678: Modular Construction and Partial Order Semantics of Petri Nets: 625 (Lecture Notes in Computer Science, 625)

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.

"synopsis" may belong to another edition of this title.

Buy New

View this item

£ 2.49 shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9780387557670: Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science)

Featured Edition

ISBN 10:  0387557679 ISBN 13:  9780387557670
Publisher: Springer Verlag, 1992
Softcover

Search results for Modular Construction and Partial Order Semantics of...

Stock Image

Walter Vogler
Published by Springer 2008-06-13, 2008
ISBN 10: 3540557679 ISBN 13: 9783540557678
New Paperback

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540557678

Contact seller

Buy New

£ 47.77
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Stock Image

Vogler, Walter
Published by Springer, 1992
ISBN 10: 3540557679 ISBN 13: 9783540557678
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540557678_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Walter Vogler
Published by Springer Berlin Heidelberg, 1992
ISBN 10: 3540557679 ISBN 13: 9783540557678
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: 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. Seller Inventory # 9783540557678

Contact seller

Buy New

£ 47.57
Convert currency
Shipping: £ 12.08
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Walter Vogler
Published by Springer Berlin Heidelberg, 1992
ISBN 10: 3540557679 ISBN 13: 9783540557678
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: 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. Seller Inventory # 4893724

Contact seller

Buy New

£ 43.02
Convert currency
Shipping: £ 21.58
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Walter Vogler
ISBN 10: 3540557679 ISBN 13: 9783540557678
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: 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. Seller Inventory # 9783540557678

Contact seller

Buy New

£ 66.61
Convert currency
Shipping: £ 9.50
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Walter Vogler
ISBN 10: 3540557679 ISBN 13: 9783540557678
New Taschenbuch
Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: 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. Seller Inventory # 9783540557678

Contact seller

Buy New

£ 47.57
Convert currency
Shipping: £ 30.22
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Vogler, Walter
Published by Springer, 1992
ISBN 10: 3540557679 ISBN 13: 9783540557678
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020170539

Contact seller

Buy New

£ 45.24
Convert currency
Shipping: £ 55.33
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket