Rakow, Astrid (2011) Slicing and reduction techniques for model checking Petri nets. PhD, Universität Oldenburg.