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