Supervision of open systems using a situation-operator-modeling approach and higher Petri net formalisms

The paper presents a concept for the automated supervision of human interactions in environments with complex system dynamics. The supervision concept is formulated using a special system-theoretic Situation-Operator-Modeling (SOM) approach which in the context of this work is practically implemented and simulated using Higher Petri Net (HPN) formalisms and tools. In order to reflect the complex system nature suitable HPN patterns are developed which make use of active tokens with autonomous, continuous-time dynamics. The approach is demonstrated on the supervision of a lane change maneuver in highway driving with special focus on the checking of driver actions with respect to goal-conformance.