A method for determining possible transitions of system states in an industrial system with a plurality of agents with discrete agent states. The method comprises the steps of defining a plurality of rules, each rule comprising a pre-condition of at least one agent state that is to be changed, a post-condition of the at least one agent state, and an action or actions resulting in a corresponding transition of the at least one agent state; defining a plurality of nodes, each node comprising a system state; and evaluating for a plurality of pairs of nodes, whereby one node of each pair acts as a pre- condition node and the other node of each pair acts as a post-condition node, whether the pair can, given the rules, be directly connected by an edge, each edge comprising an action or actions required for a transition between the respective pre- and post-condition system states.