Javed, M., Naeem, M., Bahadur, F. and Wahab, A. 2014. TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS. The Nucleus. 51, 2 (Apr. 2014), 281–289.