Return to Article Details TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS Download Download PDF