Implementing BDI agents using Petri nets

This paper is concerned with multiagent system (MAS). In particular, the design of a function that generates beliefs in an agent using the belief-desire-intention (BDI) architecture is presented. This work is developed in the discrete event systems (DES) context, since they include a broad class of systems like flexible manufacturing systems that can be modeled as interpreted Petri net (IPN). The mathematical analysis used in this paper allows to determine, using linear algebra concepts, when the belief will tend to a fact as new information is perceived by the agent.