Reference:
Tommi Junttila. Symmetry reduction algorithms for data symmetries. Research Report A72, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2002.
Keywords:
Symmetry, reachability analysis, Petri nets, the Mur tool
Suggested BibTeX entry:
@techreport{Junttila:A72,
address = {Espoo, Finland},
author = {Tommi Junttila},
institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
month = {May},
number = {A72},
pages = {49},
title = {Symmetry Reduction Algorithms for Data Symmetries},
type = {Research Report},
year = {2002},
}
|