In: 5: Syst. Anal. Model. Simul., Vol. 8, No. 4, pages 293-303. 1991.
Abstract: Based on symmetries, Jensen et al. have introduced equivalence relations for markings of Coloured Petri Nets (High Level Nets). In this note the author develops this idea for Place/Transition nets. In the author's opinion this results in a better understanding of the principle on the one hand and in slightly more general theorems on the other. Moreover, the author proposes an algorithm to compute the generators of the symmetry group.
Keywords: reachability analysis (using) symmetry. coloured net; place/transition net; symmetry group generator.