Modular construction and partial order semantics of petri nets
Auteur :
Vogler, Walter
Éditeur :
Vogler, Walter
ISBN :
9783540557678
Date de publication :
22 juil. 1992
Dimensions :
23,5 x 15,5 x 1,4 cm
Poids :
840 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.