Finding Symmetries of Algebraic System Nets
Tommi A. Junttila · Fundamenta Informaticae · 1999
The problem of finding symmetry information from algebraic system nets prior to the reachability graph generation is studied. The approach presented is based on well-formedness of transition descriptions, meaning that some data types in a net may be