Modular Construction and Partial Order Semantics of Petri Nets Petri nets are a model of parallel systems, used for both applications and theoretical studies. This volume studies the modular construction of Petri nets, particularly the top-down design of nets by action refinement. Suitable behaviour descriptions are outlined. Full description
"synopsis" may belong to another edition of this title.
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
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
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 252. Seller Inventory # 263163566
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 252. Seller Inventory # 4717169
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. pp. 252. Seller Inventory # 183163556
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA70403875576795