Intention Structures Modelling Using Object Oriented Petri Nets

Abstract

This paper describes an approach to the object- oriented Petri nets usage in the area of intention-based systems. We would like to contribute in the field of intention based system with a formal model approach that would bring new capabilities of simulation, analysis and verification to the area of intelligent agents and multiagent systems. It is described here how intention structures could be made if they are built as a dynamic object-oriented Petri nets model and how execution of the agent's intention is performed in such models.