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

Vogler, W.

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

Synopsis

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.

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3540557679 ISBN 13:  9783540557678
Publisher: Springer, 1992
Softcover