Model Checking of Persistent Petri Nets.

Eike Best, Javier Esparza

Browse the full CSL paper archive.