Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel/Transitions-Netzen

There are several attempts to model agent-based systems with different advantages and disadvantages. Especially the modelling of goals is a challenge, because goals can change during the run time of an agent (dynamic goals). Hence, they have to be considered as dynamic elements in the model. To support the modelling of agent-based systems with dynamic goals, this work introduces the class of goal/transition nets. The idea relies on predicate/transition nets, a common variant of High-Level Petri nets. For the representation of system runs, protocol nets are used. By using protocol nets, both goals and states can be represented in one context, so that their interrelation can be analyzed. In this way, it is possible to formalize goal-oriented behaviour.