Abstract | |
|
Back to Advance Program
Modeling flexible real-time systems with preemptive time petri netsG. Bucci, A. Fedeli, L. Sassoli, E.VicarioTo appear at Euromicro Conference on Real-Time Systems (ECRTS03), Porto, Portugal, 2-4 July 2003
AbstractA modeling notation is introduced which extends Time Petri Nets with an additional mechanism of resource assignment by making the progress of timed transitions be dependent on the availability of a set of preemptable resources. The resulting notation, that we call Preemptive Time Petri Nets, permits natural description and state space analysis of real time systems running under preemptive scheduling, with periodic, sporadic and one-shot processes, with undeterministic execution times, with semaphore synchronizations and precedence relations deriving from internal task sequentialization and from interprocess communication.
10 Mar 2003 at 21:02:26 |