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