Finding symmetries of algebraic system nets

• Autorzy: Junttila T.A.
• Języki publikacji: EN

Abstrakty

EN

The problem of finding symmetry information from algebraic system nets prior to the reach-ability graph generation is studied. The approach presented is based on wellformedness of transition descriptions, meaning that some data types in a net may be used in a symmetric way. Permutations on the domains of such data types produce symmetries on the state space level of the net, which in turn can be exploited during the reachability analysis. To ensure that the transitions behave symmetrically with respect to the chosen data domain permutations, a sufficient compatibility condition between data domain permutations and the algebraic terms used as transition guards and arc annotations is proposed. The solution is a general and flexi-ble one as it does not fix the set of applicable operations, enabling the design of customized net classes. To help the process of deciding whether a term is compatible with a data domain permutation, an approximation rule for the compatibility condition is given.

Słowa kluczowe

EN

symmetries; algebraic system nets; Petri net; reachability analysis

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 37, Nr 3
• Strony: 269--289
• Opis fizyczny: wykr., bibliogr. 29 poz.

Twórcy

autor

Junttila T.A.

• Laboratory for Theoretical Computer Science, Department of Computer Science and Engineering, Helsinki University of Technology P.O. Box 5400,FIN-02015 HUT, Finland,