Modular Construction and Partial Order Semantics of Petri Nets, Paperback by ...-image

Modular Construction and Partial Order Semantics of Petri Nets, Paperback by ...

$ 33.41

Item Weight: 29.6 Oz Author: W. Vogler Publisher: Springer Berlin / Heidelberg Item Width: 6.1 in width: 6.1 in Format: Trade Paperback Type: Textbook Publication Name: Modular Construction and Partial Order Semantics of Petri Nets Item Length: 9.3 in Number of Pages: Xii, 256 Pages Subject Area: Mathematics, Computers, Science Series: Lecture Notes in Computer Science Ser. Book Title: Modular Construction and Partial Order Semantics of Petri Nets Subject: Systems Architecture / General, Hardware / General, System Theory, Discrete Mathematics Language: English ISBN: 9783540557678 Publication Year: 1992

Description

Modular Construction and Partial Order Semantics of Petri Nets, Paperback by .... Petri nets are a well-known model for parallel systems, usedfor both applications and theoretical studies. Modular Construction and Partial Order Semantics of Petri Nets, Paperback by Vogler, Walter, ISBN 3540557679, ISBN-13 9783540557678, Like New Used, Free shipping in the US 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 the design of large systems, modular construction isindispensible, and considerable effort has been spent onstudying themodular construction of Petri book studies the modular construction of nets, and inparticular the top-down design of nets by action 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.

Related products