Applications And Theory Of Petri Nets 2005