A new Petri net-based tool is developed for an integrated analysis of schedulability and performance of Hard Real-Time Systems (HRTSs). The existing Deterministic Timed Petri Nets (DTPNs) do not facilitate modeling of ...