Efficient symbolic analysis of bounded petri nets using interval decision diagrams
Verfasserangaben: | Alexey A. Tovchigrechko |
---|---|
URN: | urn:nbn:de:kobv:co1-opus-10294 |
Dokumentart: | Dissertation |
Sprache: | Englisch |
Erscheinungsjahr: | 2009 |
Freies Schlagwort / Tag: | Model Checking; Petri-Netz |
Fakultät / Fachgebiet: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |
Name der Einrichtung zum Zeitpunkt der Publikation: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Informatik / Datenstrukturen und Softwarezuverlässigkeit |