Articles liés à Modular Construction and Partial Order Semantics of...

Modular Construction and Partial Order Semantics of Petri Nets - Couverture souple

Vogler, W.

 
9780387557670: Modular Construction and Partial Order Semantics of Petri Nets

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.