PETRI NET MODELING OF COMPUTER VIRUS LIFE CYCLE. NIJOTECH. 2005;24(1):87-92. doi:10.4314/njt.241.490