For the most recent entries see the
Petri Nets Newsletter
.
Keyword: state-space generation
Bell, Alexander
;
Haverkort, Boudewijn R.
:
Distributed disk-based algorithms for model checking very large Markov chains.
2006.
Varpaaniemi, Kimmo
:
Finding Small Stubborn Sets Automatically.
1996.
Hiraishi, K.
:
Reduced state space generation of concurrent systems using weak persistence.
1994.
Zuberek, W.M.
:
On Generation of State Space for Timed Nets.
1988.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography