Using yEd to make models for JTorX¶
Indicating the initial state¶
There are two ways to indicate the initial state:
- add an initial transition to the model, as follows.
- Add an additional state close the the initial state.
- Add a transition from that added state to the initial state; do not set a label on that transition.
- In the properties of the added state, make the added state invisible, leaving only the added transition visible as initial transition:
- in section General set properties Fill Color and Line Color to 'No Color' (or check property transparent, but this seems not possible in recent yEd version), and
- in section Label uncheck property visible.
- if no initial transition (as described above) is present in the model, the state with number 1 is interpreted as being the initial state
(this for compatibility with iocoChecker).
Historical note: JTorX versions 1.9.2 and 1.10.0-beta3 were the first that look at properties Fill Color and Line Color to recognize invisible states; earlier JTorX versions only looked for property Transparent.
Indicating non-observable (internal) transitions¶
Transitions that have as label the string i or the string tau are treated as non-observable (internal).
(Also when the label consists of multiple words, and the first word is i or tau)
- yEd automatically numbers all created states, but it allows you to change the label of the states.
- yEd allows you to choose the color of the edges and nodes; you can use this to group related transitions and states.
Back to Usage scenarios