Eike Best Javier Esparza Model Checking of Persistent Petri Nets. 35-52 1991 conf/csl/1991 CSL db/conf/csl/csl91.html#BestE91 http://dx.doi.org/10.1007/BFb0023756