Title: On Computing Symmetries and Stubborn Sets

Number: Technical Report B 12

Date: April 1994

Pages: 16

In this report, we consider two promising methods for alleviating the state space explosion problem in reachability analysis: the symmetry method and the stubborn set method. We concentrate on the computation of symmetries and stubborn sets. The new algorithms presented in this report help us to save time and space in the symmetry method and to avoid inspecting redundant states in the so called CFFD-preserving stubborn set method.

Keywords: reachability analysis, symmetry method, stubborn set method, CFFD-semantics, place/transition nets