Javed, M., Naeem, M., Bahadur, F. and Wahab, A. (2014) “TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS”, The Nucleus, 51(2), pp. 281–289. doi: 10.71330/thenucleus.2014.714.