Modeling Migration of Mobile Agents
Résumé
In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express interactions of flow actions, consequently, modelling migration process is a crucial issue. In this paper, we integrate the Ferber and Müller?s Influence/Reaction model in Agent Petri Nets (APN) to model migration mobile agents. This model clarifies the migration process of agent from an environment to another and enhances its capacity for formal verification.