In this paper we propose an extension to the formalism of timed automata by allowing urgent transitions. A urgent transition is a transition which must be taken within a fixed time interval from its enabling time. We give a set of rules formally describing the behaviour of urgent transitions and we show that, from a language theoretic point of view, the addition of urgency does not improve the expressive power of timed automata. However, from a specification point of view, the use of urgent transitions is crucial, especially in modular specification of systems.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Timed Automata with Urgent Transitions |
Autori: | |
Data di pubblicazione: | 2001 |
Serie: | |
Abstract: | In this paper we propose an extension to the formalism of timed automata by allowing urgent transitions. A urgent transition is a transition which must be taken within a fixed time interval from its enabling time. We give a set of rules formally describing the behaviour of urgent transitions and we show that, from a language theoretic point of view, the addition of urgency does not improve the expressive power of timed automata. However, from a specification point of view, the use of urgent transitions is crucial, especially in modular specification of systems. |
Handle: | http://hdl.handle.net/11581/202409 |
Appare nelle tipologie: | Contributo in atto di convegno su volume |