How to Calculate Symmetries of Petri Nets

Symmetric net structure yields symmetric net behaviour. Thus, knowing the symmetries of a net, redundant calculations can be skipped. We present a framework for the calculation of symmetries for several net classes including place/transition nets, timed nets, stochastic nets, self{ modifying nets, nets with inhibitor arcs, and many others. Our approach allows the speci cation of di erent symmetry groups. Additionally it provides facilities either to calculate symmetries on demand while running the actual analysis algorithm, or to calculate them in advance. For the latter case we de ne and calculate a ground set of symmetries. Such a set has polynomial size and is su cient for an e cient implementation of the for all symmetries loop and the partition of net elements into equivalence classes. These two constructions are the usual way to integrate symmetries into an analysis algorithm.

• Type: Journal
• Year: 2000
• Where: ACTA
• Authors: Karsten Schmidt 0004
• Keywords: ACTA 2000, Analysis Algorithm, Symmetric Net Structure, Symmetries