Applications and theory of Petri nets 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings / - Hee, Kees Max van,; Valk, R. (Lecture notes in computer science,)