Exploiting symmetry of state tree structures for discrete-event systems with parallel components | IEEE Conference Publication | IEEE Xplore