Researches on operators´ mental model for structure of operations based on situation theory

A representational scheme for describing the mental model of an operator for performing operations is discussed. Situation theory is introduced into a representational model of operator behavior based on Petri nets and modal logic formulae. In this framework, restrictions tuned by operators are considered, leading to an intuitive representation of the transition of the operator´s mental model through interaction with the system. A method for translating restrictions into temporal modal logic formulae as tasks is also considered.