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://chefesquipmenters.shop/product-category/sanitizer-test-strips-labels/