Reisig, W.W.Reisig2022-03-072022-03-071985https://publica.fraunhofer.de/handle/publica/285205enPetri nets: An introductionPetrinetzebook