Sciweavers

ACTA
2000

How to Calculate Symmetries of Petri Nets

13 years 3 months ago
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.
Karsten Schmidt 0004
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2000
Where ACTA
Authors Karsten Schmidt 0004
Comments (0)