Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings - Mogens Nielsen, Dan Simpson ((Lecture Notes in Computer Science))