Petri Nets for Mobile Agent: Theory and Application
Résumé
The present paper aims to propose a model enabling the specification, verification and validation of the behavior for a mobile agent. The model studies the integration, commitment and migration of a mobile agent. The model PNMAM (Peri Net in Mobile Agent Model) is an extension of classical Petri nets with places, transitions and marking the graph, what useful in the validation phase.