Javed, M., Naeem, M., Bahadur, F. and Wahab, A. (2014) “TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS”, The Nucleus, 51(2), pp. 281–289. Available at: http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/714 (Accessed: 3 May 2024).