Petri Nets by Wolfgang Reisig & Michel Diaz