A tiny library for parsing state transition tables.
This library offers the following:
- parse a state transition table described in csv format
- print the state machine in JSON, DOT formats
- export a visualization of the state machine
The format of the state transition table csv input:
| SOURCE | DEST | TRIGGER |
|---|---|---|
<text> or (empty) |
<text> |
<text> or _<text> (event name) or __<number> (seconds) or (empty) |
Explanation:
SOURCE: source state name, or (empty) (assume same state as the previous line)
DEST: destination state name
TRIGGER: trigger string (e.g. if-else condition),
event name (must be preceded by underscore),
seconds until transition occurs (must be preceded by double underscore), or
(empty) (assume the dest state as event name)
Example:
An example of a valid state transition table csv file:
JSONify the state transition table:
./sttp.py resources/example_input.csv jsonify > resources/example_output.jsonwill produce the following file:
{
"transitions": [
{
"trigger": "EVT_AB",
"source": "A",
"dest": "B"
},
{
"trigger": "(after 1 sec.)",
"source": "A",
"dest": "C"
},
{
"trigger": "EVT_C",
"source": "B",
"dest": "C"
},
{
"trigger": "EVT_BA",
"source": "B",
"dest": "A"
},
{
"trigger": "EVT_A",
"source": "C",
"dest": "A"
},
{
"trigger": "if sun.is_up()",
"source": "C",
"dest": "B"
}
]
}
DOTify the state transition table:
./sttp.py resources/example_input.csv dotify > resources/example_output.dotwill produce the following file:
digraph {
A
B
A -> B [label=EVT_AB]
A
C
A -> C [label="(after 1 sec.)"]
B
C
B -> C [label=EVT_C]
B
A
B -> A [label=EVT_BA]
C
A
C -> A [label=EVT_A]
C
B
C -> B [label="if sun.is_up()"]
}
Visualize stt:
./sttp.py resources/example_input.csv visualize --format png resources/example_output --viewwill produce and bring into view the following image:
For more information:
./sttp.py -h