@techreport{
    Junttila:A59,
    author = "Junttila, Tommi",
    title = "Computational Complexity of the Place/Transition-Net Symmetry Reduction Method",
    pages = "16",
    address = "Espoo, Finland",
    number = "A59",
    month = "April",
    flags = "copy",
    year = "2000",
    keywords = "Petri nets, symmetry",
    type = "Research Report",
    institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science"
}