Items related to Modular Construction and Partial Order Semantics of...
Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science) - Softcover
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 the modular 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 they are necessary under reasonable specification requirements. In particular, it is shown that partial-order semantics is necessary to support action refinement.
"synopsis" may belong to another edition of this title.
Search results for Modular Construction and Partial Order Semantics of...
Stock Image
Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science 625)
Published by
Springer-Verlag, Berlin, 1992
ISBN 10: 0387557679
ISBN 13: 9780387557670
Used
Paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 625; Ex-Library. Previous owner's sticker on the front cover. Small crease on lower front leading corner. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library. Seller Inventory # 094580
Quantity: 1 available
Stock Image
Modular Construction And Partial Order Semantics Of Petri Nets
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-88568
Quantity: 1 available
Stock Image
Modular Construction And Partial Order Semantics Of Petri Nets
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-87137
Quantity: 1 available
Stock Image
Modular Construction and Partial Order Semantics of Petri Nets
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 252. Seller Inventory # 263163566
Quantity: 1 available
Stock Image
Modular Construction and Partial Order Semantics of Petri Nets
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: Used. pp. 252. Seller Inventory # 4717169
Quantity: 1 available
Stock Image
Modular Construction and Partial Order Semantics of Petri Nets
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: Used. pp. 252. Seller Inventory # 183163556
Quantity: 1 available
Stock Image
Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA70403875576795
Quantity: 1 available