Modeling Priority Analysis via Hybrid Petri Nets for an Internal Combustion Engine Management System