2 search results - page 1 / 1 » Timed Petri nets and timed automata: On the discriminating p... |
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...
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...