A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets.

Didier Lime, Olivier H. Roux

Browse the full RTSS paper archive.