An Automated Framework for Formal Verification of Timed Continuous Petri Nets