@techreport{
    Junttila:A72,
    author = "Junttila, Tommi",
    title = "Symmetry Reduction Algorithms for Data Symmetries",
    pages = "49",
    address = "Espoo, Finland",
    number = "A72",
    month = "May",
    flags = "copy SA-47754 SA-43963",
    year = "2002",
    keywords = "Symmetry, reachability analysis, Petri nets, the Mur$\varphi$ tool",
    type = "Research Report",
    institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science"
}