Javed, M., M. Naeem, F. Bahadur, and A. Wahab. 2014. “TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS”. The Nucleus 51 (2):281-89. http://202.83.167.189/index.php/Nucleus/article/view/714.