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://thenucleuspak.org.pk/index.php/Nucleus/article/view/714 (Accessed: 19 May 2024).