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 November 22, 2024. http://202.83.167.189/index.php/Nucleus/article/view/714.