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 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-10294 ER -