24 search results - page 1 / 5 » Comparing the Expressiveness of Timed Automata and Timed Ext... |
FORMATS
2008
Springer
13 years 6 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
ICFEM
2009
Springer
13 years 2 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
IANDC
2008
13 years 4 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
IFM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
FORMATS
2005
Springer
13 years 10 months ago
2005
Springer
