Symbolic Optimization of FSM Networks Based on Redundancy Identification and Removal