Petrinetze Eine Einfuhrung - Reisig, Wolfgang (Springer-Verlag, 1986)
bibliography:pp.174-196