Simultaneous state encoding and communication cost optimization for FSM net design

Linear partitioning is a very attractive method for designing an FSM as a net of cooperating FSMs. For a better exploitation of its inherent potency we introduce (1) a method that reduces the communication overhead to control the cooperation between the subFSMs and (2) a new global solution for the binary encoding problem for both states and communication signals. Experimental results demonstrate the effectiveness of the proposed approach.<
>