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