Petri Nets for Mobile Agent: Theory and Application (original) (raw)

2016

Abstract

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.

Kamel Barkaoui hasn't uploaded this paper.

Let Kamel know you want this paper to be uploaded.

Ask for this paper to be uploaded.