A FORMAL PETRI NET BASED MODEL FOR ANTIVIRUS UPDATE AGENT SYSTEM
Poyan Ali, Bahrami Zeynab · 2012
In this paper, a formal m odel for antivirus upda te a gent system is presented based on m obile agent technology and pr edicate/transition Petri nets. The m obile agent system contains two mobile agents called DCA and UNA . It sends out agents to upda te a ntivirus on client computers in a network. Ea ch a gent takes on a specified responsibility. F irst, DCA roams thr ough the network and check the last date of updating of antivirus on client computers. T hen, by passing the list of unupdated client computers to UNA , nex t m igration is star ted. The m obile agent system is modeled with logical agent mobility method (LA M) using Petri nets. Each agent is m odeled with a predicate/transition Petri net. In this model, the antivirus updating system consists of a set of components to identify diff erent locations and a set of connectors to specify the interactions among the components. Connectors and components are modeled with PrT Nets. K eyw ord s: mobile agents, antivirus update agent system, logical agent mobility