Javed, M., M. Naeem, F. Bahadur, and A. Wahab. “TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS”. The Nucleus 51, no. 2 (April 14, 2014): 281–289. Accessed April 8, 2025. http://thenucleuspak.org.pk/index.php/Nucleus/article/view/714.