Javed, M., Naeem, M., Bahadur, F., & Wahab, A. (2014). TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS. The Nucleus, 51(2), 281–289. Retrieved from http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/714