Modeling urgency in timed systems

We define timed automata with deadlines (TAD) which are a class of timed automata where time progress conditions depend on deadlines associated with transitions. We show that using TAD makes urgency specification easier. We present the model of Petri nets with deadlines (PND), which are (1-safe) Petri nets extended with clocks exactly as TAD are extensions of automata. We compare PND with different classes of timed Petri nets (TPNs) and show that safe TPNs can be modeled as PND. Some applications to modeling systems and in particular to modeling multimedia documents are presented


Published in:
Compositionality: Significant Difference. International Symposium, COMPOS '97. Revised Lectures, 103 - 29
Presented at:
Compositionality: Significant Difference. International Symposium, COMPOS '97. Revised Lectures, Berlin, Germany
Year:
1998
Keywords:
Laboratories:




 Record created 2013-03-14, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)