Javed M, Naeem M, Bahadur F, Wahab A. TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS. The Nucleus [Internet]. 2014 Apr. 14 [cited 2024 May 2];51(2):281-9. Available from: http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/714