Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Modeling urgency in timed systems
 
conference paper

Modeling urgency in timed systems

Bornot, S.
•
Sifakis, J.  
•
Tripakis, S.
1998
Compositionality: Significant Difference. International Symposium, COMPOS '97. Revised Lectures
Compositionality: Significant Difference. International Symposium, COMPOS '97. Revised Lectures

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

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1007/3-540-49213-5_5
Author(s)
Bornot, S.
Sifakis, J.  
Tripakis, S.
Date Issued

1998

Published in
Compositionality: Significant Difference. International Symposium, COMPOS '97. Revised Lectures
Start page

103

End page

129

Subjects

automata theory

•

formal specification

•

Petri nets

Editorial or Peer reviewed

REVIEWED

Written at

OTHER

EPFL units
RISD  
Event nameEvent place
Compositionality: Significant Difference. International Symposium, COMPOS '97. Revised Lectures

Berlin, Germany

Available on Infoscience
March 14, 2013
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/90364
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés