2009 IEEE International Conference on
Systems, Man, and Cybernetics |
![]() |
Abstract
This paper deals with agent location and loss detection in a mobile agent based workflow automation scheme. A protocol for population control of agents evolving through internet is proposed. It is supported by the handling of allowed timing in agent mission execution, allowing passive and active termination of agents, opportune localization of agents and orphan detection. The protocol is specified using stopwatch Petri nets allowing a clear definition of tasks requiring the handling of time.