@inproceedings{HeinerSchwarickTovchigrechko2011, author = {Monika Heiner and Martin Schwarick and Alexey A. Tovchigrechko}, title = {DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets}, year = {2011}, }