Petri Nets door Wolfgang Reisig & Michel Diaz