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 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000179 UR - http://opus.kobv.de/btu/volltexte/2007/97/ ER - TY - THES A1 - Deussen, Peter H. T1 - Analyse verteilter Systeme mit Hilfe von Prozeßautomaten KW - Verteilte Systeme KW - Prozeßautomaten KW - Modelchecking KW - Verifikation KW - DCTL KW - Petri-Netze Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000275 PB - Brandenburgische Techn. Univ. CY - Cottbus ER - TY - THES A1 - Mertke, Thomas T1 - Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache T1 - A Technical Language for Formal Safety Specification of Reactive Systems Y1 - 2004 SN - 3-8322-3085-8 PB - Shaker Verlag CY - Aachen ER -