Application and Theory of Petri Nets 2000 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings - Nielsen, Mogens; Nielsen, Mogens; Simpson, Dan; Simpson, Dan (Springer Berlin Heidelberg : Imprint: Springer, 2000)