Stubborn sets for reduced state space generation

  title={Stubborn sets for reduced state space generation},
  author={Antti Valmari},
  booktitle={Applications and Theory of Petri Nets},
The "stubborn set" theory and method for generating reduced state spaces is presented. The theory takes advantage of concurrency, or more generally, of the lack of interaction between transitions, captured by the notion of stubborn sets. The basic method preserves all terminal states and the existence of nontermination. A more advanced version suited to the analysis of properties of reactive systems is developed. It is shown how the method can be used to detect violations of invariant… CONTINUE READING
Highly Influential
This paper has highly influenced 44 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 577 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 353 extracted citations

578 Citations

Citations per Year
Semantic Scholar estimates that this publication has 578 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 20 references

Eliminating Redundant lnterleavings during Conctu ~ rent Program Verification

  • A. Valmari
  • State Space Generation : Efficiency and…
  • 1988
Highly Influential
11 Excerpts

Heuristics for Lazy State Generation Speeds up Analysis of Concurrent Systems

  • A. Valmari 88b Valmari
  • Proceedings of the Finnish Artificial…
  • 1988
Highly Influential
11 Excerpts

Petri Nets, an Introduction

  • W. Reisig
  • 1985
Highly Influential
4 Excerpts

Stubborn Sets for Reduced State Space Generation

  • A. Valmari 89b Valmari
  • Proceedings of the Tenth International Conference…
  • 1989
Highly Influential
3 Excerpts

Baby Toras Eats Philosophers but Thinks about Solitaire

  • G. R. Wheeler, A. Valmari, J. Billington
  • Proceedings of the Fifth Australian Software…
  • 1990

Similar Papers

Loading similar papers…