“PETRI NET MODELING OF COMPUTER VIRUS LIFE CYCLE” (2005) Nigerian Journal of Technology, 24(1), pp. 87–92. doi:10.4314/njt.241.490.