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