Applications and theory of Petri nets 2004 25th international conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004 : proceedings / - Cortadella, J.; Reisig, Wolfgang, (Lecture notes in computer science,)