Application and theory of petri nets 2000: 21st international conference, icatpn 2000, aarhus, denmark, june 26-30, 2000 proceedings
Auteur :
Nielsen, Mogens
ISBN :
9783540676935
Date de publication :
14 juin 2000
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
1540 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000. The papers address various aspects of Petri net research and development including: system design and verification; UML; compositionality; process algebras; and model checking.