A Formal Method for Scheduling Analysis of a Partitioned Multiprocessor System - Dynamic Priority Time Petri Nets.