For the most recent entries see the
Petri Nets Newsletter
.
Keyword: state explosion problem
Kristensen, L. M.
;
Schmidt, K.
;
Valmari, A.
:
Question-guided stubborn set methods for state properties.
2006.
Best, Eike
;
Esparza, Javier
:
Model Checking of Persistent Petri Nets.
1991.
Garavel, H.
;
Sifakis, J.
:
Compilation and Verification of LOTOS Specifications.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography