Symbolische LTL-Verifikation von Petrinetzen. - Jochen Spranger (2001)