Javed, M., M. Naeem, F. Bahadur, and A. Wahab. 2014. “TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS”. The Nucleus 51 (2):281-89. https://doi.org/10.71330/thenucleus.2014.714.