A METHOD FOR DETERMINING POSSIBLE TRANSITIONS OF SYSTEM STATES

A method for determining possible transitions of system states in an industrial system (10) with a plurality of agents (60, 70) with discrete agent states. The method comprises the step of defining a plurality of rules (R), each rule (R) 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 (130) resulting in a corresponding transition of the at least one agent state. The method further comprises the step of defining a plurality of nodes (90), each node (90) comprising a system state. The method further comprises the step of and evaluating for a plurality of pairs of nodes (90), whereby one node (90) of each pair acts as a pre-condition node (90) and the other node (90) of each pair acts as a post-condition node (90), whether the pair can, given the rules (R), be directly connected by means of an edge (100). Each edge (100) comprises an action or actions (130) required for a transition between the respective pre- and post-condition system states. By determining possible direct transitions between the system states offline, fast runtime decisions by system's controller are allowed to take place. L'invention concerne un procédé permettant de déterminer des transitions possibles d'états de système dans un système industriel (10) comprenant une pluralité d'agents (60, 70) présentant des états d'agent discrets. Le procédé comprend l'étape consistant à définir une pluralité de règles (R), chaque règle (R) comprenant une condition préalable d'au moins un état d'agent qui doit être modifié, une condition postérieure de l'au moins un état d'agent et une action ou des actions (130) conduisant à une transition correspondante de l'au moins un état d'agent. Le procédé comprend en outre l'étape consistant à définir une pluralité de nœuds (90), chaque nœud (90) comprenant un état de système. Le procédé comprend en outre l'étape d'évaluation et l'évaluation pour une pluralité de paires de nœuds (90), un nœud (90) de chaque paire servant de nœud de condition préalable (90) et l'autre nœud (90) de chaque paire servant de nœud de condition postérieure (90), si la paire peut, compte tenu des règles (R), être directement raccordée au moyen d'un bord (100). Chaque bord (100) comprend une action ou des actions (130) requises pour une transition entre les états de système de condition préalable et de condition postérieure respectifs. Par la détermination de transitions directes poss