For the most recent entries see the Petri Nets Newsletter.

Reachability Analysis of Petri Nets Using Symmetries.

Starke, Peter H.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography