Integrating Low Level Symmetries into Reachability Analysis

@inproceedings{Wolf2000IntegratingLL,
  title={Integrating Low Level Symmetries into Reachability Analysis},
  author={Karsten Wolf},
  booktitle={TACAS},
  year={2000}
}
We present three methods for the integration of symmetries into reachability analysis Two of them lead to perfect reduction but their runtime depends on the symmetry structure The third one works always fast but does not always yield perfect reduction 
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

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

New Canonical Representative Marking Algorithms for Place/Transition-Nets

ICATPN • 2004
View 14 Excerpts
Method Support
Highly Influenced

The Petri net twist in explicit model checking

Software & Systems Modeling • 2014
View 1 Excerpt

Automated generation of a progress measure for the sweep-line method

International Journal on Software Tools for Technology Transfer • 2005