@techreport{858190a2e4fe46d08920f1792b8fd0aa,
title = "Symmetry Reduction Algorithms for Data Symmetries",
keywords = "Petri nets, reachability analysis, symmetry, the Murphi tool, Petri nets, reachability analysis, symmetry, the Murphi tool, Petri nets, reachability analysis, symmetry, the Murphi tool",
author = "Tommi Junttila",
year = "2002",
language = "English",
series = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports",
publisher = "Helsinki University of Technology",
number = "HUT-TCS-A72",
type = "WorkingPaper",
institution = "Helsinki University of Technology",
}