“PETRI NET MODELING OF COMPUTER VIRUS LIFE CYCLE”. Nigerian Journal of Technology, vol. 24, no. 1, Jan. 2005, pp. 87-92, https://doi.org/10.4314/njt.241.490.