@phdthesis{Tovchigrechko2009, author = {Alexey A. Tovchigrechko}, title = {Efficient symbolic analysis of bounded petri nets using interval decision diagrams}, type = {doctoralthesis}, year = {2009}, }