@techreport{
    Junttila:A57,
    author = "Junttila, Tommi",
    title = "Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis",
    pages = "67",
    address = "Espoo, Finland",
    number = "A57",
    month = "December",
    flags = "copy",
    year = "1999",
    keywords = "Symmetry, reachability analysis, Petri nets, algebraic system nets",
    type = "Research Report",
    institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science"
}