Model checking of persistent Petri nets - Best, Eike 1951-; Esparza, Javier 1964- (Inst. für Informatik, 1991)