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