@techreport{
    Junttila:A75,
    author = "Junttila, Tommi",
    title = "New Canonical Representative Marking Algorithms for Place/Transition-Nets",
    pages = "37",
    address = "Espoo, Finland",
    number = "A75",
    month = "October",
    flags = "copy SA-47754 SA-53695",
    year = "2002",
    keywords = "Reachability analysis, Place/Transition-nets, symmetry",
    type = "Research Report",
    institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science"
}