Keyword: stubborn set method

• Varpaaniemi, Kimmo:
  Dynamically Stubborn Sets and the Sleep Set Method. 1994.

• Varpaaniemi, Kimmo:
  On-the-Fly Verification with PROD. 1994.

• Varpaaniemi, Kimmo:
  On Computing Symmetries and Stubborn Sets. 1994.

• Varpaaniemi, Kimmo:
  On Choosing a Scapegoat in the Stubborn Set Method. 1993.

• Grönberg, Peter; Tiusanen, Mikko; Varpaaniemi, Kimmo:
  PROD - A Pr/T-Net Reachability Analysis Tool. 1993.

• Rauhamaa, Marko:
  A Comparative Study of Methods for Efficient Reachability Analysis. 1990.

Back to the Petri Nets Bibliography