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