Application And Theory Of Petri Nets 2000 by Mogens Nielsen & Dan Simpson