@phdthesis{
    Junttila2003,
    author = "Junttila, Tommi",
    school = "Helsinki University of Technology, Laboratory for Theoretical Computer Science Research Reports 80",
    title = "On the Symmetry Reduction Method for Petri Nets and Similar Formalisms",
    url = "http://lib.tkk.fi/Diss/2003/isbn9512267454/",
    address = "Espoo, Finland",
    flags = "",
    year = "2003",
    owner = "MM",
    impactfactor = "G4"
}