Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore. model checking is a formal verification method used to verify system properties using model checkers. https://safeersappliancers.shop/product-category/aeg-dvk6980hb-wall-mounted-hood/