Select a keyword from your instance.
(1) Keyword memo
Write it when you want to write it as a memo temporarily.
(2) Property
The
contents are displayed in the properties for the states and transition
keywords created in the model.
Select "Normal", "State" and "Transition" with the radio buttons to
create keywords with three attributes.
No properties are displayed for "Normal".
If the keyword is "state", the state name and state ID are displayed.
For the initial state, the state name created in the model is displayed,
but you can change it to a specific name.
In the above example, the state name set in the model is "state list",
In the instance, change it to a more specific name.
On the screen for setting the actual keywords,
set the list of state names.
If the keyword is "transition",
there are three keywords: K[N][1],K[N][2],K[N][3].
If
you select the K[N][1] keyword
This transits based on the keyword of state name [TCP state name] of state ID
[I3-3].
The name of the transition created in the model is displayed in the initial
state,
but it can be changed to a specific name.
In
the above example, the transition name set in the model is "state transition"
In your instance, change it to a more specific name.
On the screen for setting the actual keywords, set the list of transition names.
If you select the K[N][2] keyword
This will set the state (from) to the state id, display the state name for that
id,
and display the name of the transition to transition to.
This keyword indicates the state ID to transition from when transitioning.
On the screen to set the actual keyword,
it will be set from the state name list set in the state.
If
you select the K[N][3] keyword
This means that the state (to) is set to a state ID,
the state name for that ID is displayed,
Displays the name of the transition to transition to.
This keyword indicates the state ID to transition to when transitioning.
On the screen to set the actual keyword,
it will be set from the state name list set in the state
(3) Keyword description
Click the keyword description tab to display the edit screen.