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

Won-Ho CHUNG  Hyunsoo YOON  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E81-A   No.2   pp.288-294
Publication Date: 1998/02/25
Online ISSN: 
DOI: 
Print ISSN: 0916-8508
Type of Manuscript: PAPER
Category: Modeling and Simulation
Keyword: 
deadline,  modeling,  Monte-Carlo,  real-time,  Timed Petri net,  simulation,  

Full Text: PDF(626.9KB)>>
Buy this Article




Summary: 
Estimating the deadline of a real-time task is a necessary prerequisite to the applications that have strict timing constraints, such as real-time systems design. This paper shows how Monte-Carlo simulation can be used as a space-efficient way of analyzing Timed Petri nets to predict whether the system specified can satisfy its real-time deadlines. For the purpose, Extended Timed Petri Net (XTPN), an extension of conventional Timed Petri net, and its execution rule, using Monte-Carlo technique, are newly defined. A simple simulation scheme with less memory space is presented as a way of estimating the deadline of a real-time task modeled in XTPN. And the comparison between the analytical and simulation results is given. The problem addressed here is to find the probabilities of meeting given deadlines.