M. Javed, M. Naeem, F. Bahadur, and A. Wahab, “TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS”, The Nucleus, vol. 51, no. 2, pp. 281–289, Apr. 2014.