Application and theory of Petri nets 2000
International Conference on Applications and Theory of Petri Nets (21st 2000 Aarhus, Denmark)