Application And Theory Of Petri Nets by Joke van Leeuwen