An agent's itinerary describes the tasks of the agent and the locations where those tasks are to be performed. Work ow technology is an important area of electronic commerce. Workflow nets (WF-nets), a class of Petri nets, have been used to specify and analyze intra- and inter-organizational workflow process. We investigate the correspondence between an algebra of mobile agent itineraries and WF-nets. We illustrate how WF-nets can be used to provide a semantics for itineraries and point out benefits of this semantics. This semantics complements an operational semantics of itineraries, suggesting a methodology for an implementation of distributed workflows from specification and analysis in WF-nets to mobile agent based execution. We outline two ways of using such Petri nets with itineraries as explorations towards this methodology
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.