58 search results - page 3 / 12 » When Are Timed Automata Weakly Timed Bisimilar to Time Petri... |
ACSD
2006
IEEE
13 years 12 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
JSS
2006
13 years 5 months ago
2006
FORMATS
2005
Springer
13 years 11 months ago
2005
Springer
CORR
2011
Springer
12 years 9 months ago
2011
Springer
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
ATVA
2009
Springer
13 years 9 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...