TY - THES A1 - Tovchigrechko, Alexey A. T1 - Efficient symbolic analysis of bounded petri nets using interval decision diagrams KW - Petri-Netz KW - Model Checking Y1 - 2009 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/4249 UR - https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus-10294 ER -