For the most recent entries see the
Petri Nets Newsletter
.
Keyword: reduced state space generation
Varpaaniemi, Kimmo
:
Stable Models for Stubborn Sets.
2000.
Varpaaniemi, Kimmo
:
Stable Models for Stubborn Sets.
1999.
Varpaaniemi, Kimmo
:
On the Stubborn Set Method in Reduced State Space Generation.
1998.
Valmari, Antti
:
Stubborn Sets for Reduced State Space Generation.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography