Symbolic Optimization of FSM Networks Based on Redundancies Identification and Removal