@article{
  author = {},
  title = {A Formal Petri Net Based Model for Antivirus Update
Agent System},
  journal = {Journal of Advances in Computer Research},
  year = {2012},
  volume = {3},
  issue = {2},
  pages = {75-84},
  doi = {},
  url = {https://sanad.iau.ir/fa/Article/1030121}
}