Polymorphism for State Machines
In production industry today a lot of engineering time is required to develop and maintain control applications. One part of the control applications are the state machines which typically are written in Grafcet/SFC. Several efforts have been made to extend Grafcet/SFC to achieve more effective and convenient development, e.g. by introducing hierarchical structuring, reusable sub-state machines, a