
Tell your friends about this item:
Application and Theory of Petri Nets 2000: 21st International Conference, Icatpn 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings - Lecture Notes in Computer Science
Mogens Nielsen
Application and Theory of Petri Nets 2000: 21st International Conference, Icatpn 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings - Lecture Notes in Computer Science
Mogens Nielsen
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.
492 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | June 14, 2000 |
ISBN13 | 9783540676935 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 492 |
Dimensions | 156 × 234 × 25 mm · 698 g |
Editor | Nielsen, Mogens |
Editor | Simpson, Dan |