Applications And Theory Of Petri Nets 2001 door J.M. Colom