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

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.