10 states, 12 transitions, 10 accepting states, 0 unsafe states
dot - graphviz version 2.28.0 (20111028.1807)
libdir = "/usr/local/lib/graphviz"
Activated plugin library: libgvplugin_quartz.6.dylib
Using textlayout: textlayout:quartz
Activated plugin library: libgvplugin_core.6.dylib
Using render: svg:core
Using device: svg:svg:core
Activated plugin library: libgvplugin_dot_layout.6.dylib
Using layout: dot:dot_layout
The plugin configuration file:
	/usr/local/lib/graphviz/config6
		was successfully loaded.
    render	:  dot fig gd map ps quartz svg tk vml vrml xdot
    layout	:  circo dot fdp neato nop nop1 nop2 osage patchwork sfdp twopi
    textlayout	:  textlayout
    device	:  bmp canon cgimage cmap cmapx cmapx_np dot eps exr fig gd gd2 gif gv imap imap_np ismap jp2 jpe jpeg jpg pct pdf pict plain plain-ext png ps ps2 psd sgi svg svgz tga tif tiff tk vml vmlz vrml wbmp xdot
    loadimage	:  (lib) bmp eps gd gd2 gif jpe jpeg jpg pdf png ps svg
fontname: unable to resolve "Times-Roman"
network simplex:  10 nodes 9 edges maxiter=2147483647 balance=1
network simplex: 10 nodes 9 edges 0 iter 0.00 sec
mincross: pass 0 iter 0 trying 0 cur_cross 0 best_cross 0
mincross StackFSM: 0 crossings, 0.00 secs.
network simplex:  46 nodes 63 edges maxiter=2147483647 balance=2
network simplex: 46 nodes 63 edges 10 iter 0.00 sec
routesplines: 12 edges, 60 boxes 0.00 sec
Using render: svg:core
Using device: svg:svg:core
dot - graphviz version 2.28.0 (20111028.1807)
libdir = "/usr/local/lib/graphviz"
Activated plugin library: libgvplugin_quartz.6.dylib
Using textlayout: textlayout:quartz
Activated plugin library: libgvplugin_core.6.dylib
Using render: svg:core
Using device: svg:svg:core
Activated plugin library: libgvplugin_dot_layout.6.dylib
Using layout: dot:dot_layout
The plugin configuration file:
	/usr/local/lib/graphviz/config6
		was successfully loaded.
    render	:  dot fig gd map ps quartz svg tk vml vrml xdot
    layout	:  circo dot fdp neato nop nop1 nop2 osage patchwork sfdp twopi
    textlayout	:  textlayout
    device	:  bmp canon cgimage cmap cmapx cmapx_np dot eps exr fig gd gd2 gif gv imap imap_np ismap jp2 jpe jpeg jpg pct pdf pict plain plain-ext png ps ps2 psd sgi svg svgz tga tif tiff tk vml vmlz vrml wbmp xdot
    loadimage	:  (lib) bmp eps gd gd2 gif jpe jpeg jpg pdf png ps svg
fontname: unable to resolve "Times-Roman"
network simplex:  1 nodes 0 edges maxiter=2147483647 balance=1
network simplex: 1 nodes 0 edges 0 iter 0.00 sec
mincross: pass 0 iter 0 trying 0 cur_cross 0 best_cross 0
mincross StackOneScenario: 0 crossings, 0.00 secs.
network simplex:  1 nodes 0 edges maxiter=2147483647 balance=2
network simplex: 1 nodes 0 edges 0 iter 0.00 sec
routesplines: 0 edges, 0 boxes 0.00 sec
Using render: svg:core
Using device: svg:svg:core
4 states, 6 transitions, 4 accepting states, 0 unsafe states
dot - graphviz version 2.28.0 (20111028.1807)
libdir = "/usr/local/lib/graphviz"
Activated plugin library: libgvplugin_quartz.6.dylib
Using textlayout: textlayout:quartz
Activated plugin library: libgvplugin_core.6.dylib
Using render: svg:core
Using device: svg:svg:core
Activated plugin library: libgvplugin_dot_layout.6.dylib
Using layout: dot:dot_layout
The plugin configuration file:
	/usr/local/lib/graphviz/config6
		was successfully loaded.
    render	:  dot fig gd map ps quartz svg tk vml vrml xdot
    layout	:  circo dot fdp neato nop nop1 nop2 osage patchwork sfdp twopi
    textlayout	:  textlayout
    device	:  bmp canon cgimage cmap cmapx cmapx_np dot eps exr fig gd gd2 gif gv imap imap_np ismap jp2 jpe jpeg jpg pct pdf pict plain plain-ext png ps ps2 psd sgi svg svgz tga tif tiff tk vml vmlz vrml wbmp xdot
    loadimage	:  (lib) bmp eps gd gd2 gif jpe jpeg jpg pdf png ps svg
fontname: unable to resolve "Times-Roman"
network simplex:  4 nodes 3 edges maxiter=2147483647 balance=1
network simplex: 4 nodes 3 edges 0 iter 0.00 sec
mincross: pass 0 iter 0 trying 0 cur_cross 0 best_cross 0
mincross StackSynchronized: 0 crossings, 0.00 secs.
network simplex:  22 nodes 27 edges maxiter=2147483647 balance=2
network simplex: 22 nodes 27 edges 0 iter 0.00 sec
routesplines: 6 edges, 30 boxes 0.00 sec
Using render: svg:core
Using device: svg:svg:core
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