20 search results - page 1 / 4 » Equivalent Semantic Translation from Parallel DEVS Models to... |
125
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
139
Voted
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
111
Voted
IFM
2009
Springer
15 years 9 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, ...
124
Voted
FUIN
2008
15 years 2 months ago
2008
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...
145
Voted
ICFEM
2009
Springer
15 years 16 days 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...