A Simulation Scheme for Estimating Deadline of Real-Time Task Modeled in Timed Petri Net

摘要

Estimating the deadline of a real-time task is a necessaryprerequisite to the applications that have strict timing constraints,such as real-time systems design. This paper shows how Monte-Carlosimulation can be used as a space-efficient way of analyzing TimedPetri nets to predict whether the system speci- fied can satisfy itsreal-time deadlines. For the purpose, Extended Timed Petri Net(XTPN), an extension of conventional Timed Petri net, and itsexecution rule, using Monte-Carlo technique, are newly defined.