(2012). A Formal Petri Net Based Model for Antivirus Update
Agent System. *Journal of Advances in Computer Research*, 3(2), 75-84.