TY - THES A1 - Spranger, Jochen T1 - Symbolische LTL-Verifikation von Petrinetzen KW - nebenläufige Systeme KW - Modelchecking KW - Petrinetze KW - Stellen/Transaktionsnetze KW - 1-Stellen-Invarianten KW - symbolische Verfahren KW - reduzierte geordnete binäre Entscheidungsgraphen KW - ROBDD KW - linear-time temporale Logik KW - LTL KW - Fixpunktiteration KW - Tiefensuche KW - Büchinetze KW - Büchiautomaten KW - on-the-fly Verfahren KW - symbolische Tiefensuche KW - Verifikation Y1 - 2002 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/28 UR - https://nbn-resolving.org/urn:nbn:de:kobv:co1-000000179 UR - http://opus.kobv.de/btu/volltexte/2007/97/ ER -