Heuristic algorithm for an effective state encoding for reconfigurable matrix - based logic controller design

The paper presents the new effective version of heuristic algorithm for state assignment of concurrent finite state machines. The algorithm is devoted for effective, rapid local state encoding, during an implementation of logic controller programs, specified in Structured Text (ST) - taken from international standard IEC 1131-3. It is considered that textual specification in ST is closely related with an equivalent Sequential function Chart SFC. For the sake of simplicity the slightly restricted sound SFC is treated as a standardised version of control interpreted Petri Net. The obtained state encoding is especially suited and useful for a compact representation of binary control algorithms.