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, doi:10.71330/thenucleus.2014.714.