Javed, M., M. Naeem, F. Bahadur, and A. Wahab. “TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS”. The Nucleus, vol. 51, no. 2, Apr. 2014, pp. 281-9, http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/714.