Petri Net Modeling of Computer Virus Life Cycle
Virus life cycle, which refers to the stages of development of a computer virus, is presented as a suitable area for the application of Petri nets. Petri nets a powerful modeling tool in the field of dynamic system analysis is applied to model the virus life cycle. Simulation of the derived model is also presented. The intention of this paper essentially is to show that similar procedure can be used to derive anti-viral programs based on the Petri net framework.