simulation does not work for 'symbolic' models
|Status:||Resolved||Start date:||27 Feb 2010|
the problem already starts with the fact that we first have to 'View' a model before we can simulate it -
we currently cannot view a symbolic model (unless we have a prefab visualization, which we do not have for e.g. the timed-automata models of ta2torx), because the state space exploration that is necessary to obtain the automaton (LTS) that is to be shown might never finish.
furthermore, we should be able to instantiate in the simulator.
#1 Updated by Axel Belinfante over 10 years ago
- Status changed from New to Resolved
- Target version set to 1.4.0
- % Done changed from 0 to 100