https://intlibrary.ir/download/prozeszinformatik-einfuhrung-mit-petrinetzen--83436/