Javed, M., M. Naeem, F. Bahadur, and A. Wahab. 2014. “TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS”. The Nucleus 51 (2):281-89. http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/714.