PyModel/samples/Stack/test_graphics.ref at pymodel-0.10 · Python3pkg/PyModel · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
10 states, 12 transitions, 10 accepting states

C:\Users\jon\Documents\mbt\samples\Stack>rem generate .svg from .dot, do not display, user can view in browser

C:\Users\jon\Documents\mbt\samples\Stack>dot -v -Tsvg -o StackFSM.svg StackFSM.dot

C:\Users\jon\Documents\mbt\samples\Stack>rem generate .svg from .dot, do not display, user can view in browser

C:\Users\jon\Documents\mbt\samples\Stack>dot -v -Tsvg -o StackOneScenario.svg StackOneScenario.dot
4 states, 6 transitions, 4 accepting states

C:\Users\jon\Documents\mbt\samples\Stack>rem generate .svg from .dot, do not display, user can view in browser

C:\Users\jon\Documents\mbt\samples\Stack>dot -v -Tsvg -o StackSynchronized.svg StackSynchronized.dot
Generate FSM with first 12 transitions

Generate dot commands

Generate SVG file

Generate dot commands for scenario FSM

Generate SVG

Explore composition of model with scenario machine, show synchronization

Generate dot

Generate SVG