+612 9045 4394
 
CHECKOUT
Modular Construction and Partial Order Semantics of Petri Nets : NATO Asi Series. Series F, Computer and Systems Sciences - Walter Vogler

Modular Construction and Partial Order Semantics of Petri Nets

NATO Asi Series. Series F, Computer and Systems Sciences

Paperback

Published: 22nd July 1992
Ships: 5 to 9 business days
5 to 9 business days
$125.05
or 4 easy payments of $31.26 with Learn more
if ordered within

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.

Petri nets and their semantics.- Parallel composition and deadlocking.- Behaviour preserving refinement of places and transitions.- Action refinement and interval words.- Action refinement and bisimulation.- Partial order semantics for nets with capacities.- Concluding remarks.

ISBN: 9783540557678
ISBN-10: 3540557679
Series: NATO Asi Series. Series F, Computer and Systems Sciences
Audience: General
Format: Paperback
Language: English
Number Of Pages: 256
Published: 22nd July 1992
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.42
Weight (kg): 0.38