@book{ reisig_petri_1985-1,
  title = {Petri Nets, volume 4 of {EATCS} Monographs on Theoretical Computer Science},
  publisher = {Springer-Verlag},
  author = {Reisig, W.},
  year = {1985}
}