https://9dok.net/document/qvl6x8rd-petrinetzmodelle-zur-verifikation-verteilter-algorithmen.html