Efficient symbolic analysis of bounded Petri nets using interval decision diagrams. - Alexey A. Tovchigrechko (2008)

DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. - Monika Heiner; Martin Schwarick; Alexej Tovchigrechko (Petri Nets, 2009)

IDD-based model validation of biochemical networks. - Martin Schwarick; Alexej Tovchigrechko (Theor. Comput. Sci., 2011)

MARCIE's Secrets of Efficient Model Checking. - Monika Heiner; Christian Rohr; Martin Schwarick; Alexey A. Tovchigrechko (Trans. Petri Nets Other Model. Concurr., 2016)