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.

Autres éditions populaires du même titre

9783540557678: Modular Construction and Partial Order Semantics of Petri Nets

Edition présentée

ISBN 10 :  3540557679 ISBN 13 :  9783540557678
Editeur : Springer, 2008
Couverture souple