Javed, M.; Naeem, M.; Bahadur, F.; Wahab, A. TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS. The Nucleus 2014, 51, 281-289.