@article{
    Junttila:JUCS7,
    author = "Junttila, Tommi A.",
    title = "Computational Complexity of the {Place/Transition}-Net Symmetry Reduction Method",
    url = "http://www.jucs.org/jucs_7_4/computational_complexity_of_the",
    journal = "Journal of Universal Computer Science",
    number = "4",
    volume = "7",
    year = "2001",
    pages = "307--326"
}