Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings /