@phdthesis{Tovchigrechko, author = {Tovchigrechko, Alexey A.}, title = {Efficient symbolic analysis of bounded petri nets using interval decision diagrams}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-10294}, language = {en} } @inproceedings{HeinerSchwarickTovchigrechko, author = {Heiner, Monika and Schwarick, Martin and Tovchigrechko, Alexey A.}, title = {DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets}, language = {en} }