Smwtest — различия между версиями
Материал из Кафедра Автоматики и телемеханики
Corrector (обсуждение | вклад) |
Corrector (обсуждение | вклад) |
||
(не показаны 4 промежуточные версии этого же участника) | |||
Строка 29: | Строка 29: | ||
<graphviz caption='Hello SVG and PNG' alt='phylogenetic tree' format='png'> | <graphviz caption='Hello SVG and PNG' alt='phylogenetic tree' format='png'> | ||
digraph unix { | digraph unix { | ||
− | size=" | + | size="16"; |
node [color=lightblue2, style=filled]; | node [color=lightblue2, style=filled]; | ||
− | " | + | "Прикладные протоколы IP" -> "6th Edition"; |
− | " | + | "Прикладные протоколы IP" -> "PWB 1.0"; |
"6th Edition" -> "LSX"; | "6th Edition" -> "LSX"; | ||
"6th Edition" -> "1 BSD"; | "6th Edition" -> "1 BSD"; | ||
Строка 80: | Строка 80: | ||
"System V.0" -> "System V.2"; | "System V.0" -> "System V.2"; | ||
"System V.2" -> "System V.3"; | "System V.2" -> "System V.3"; | ||
+ | } | ||
+ | </graphviz> | ||
+ | |||
+ | <graphviz caption='Hello SVG and PNG' alt='phylogenetic tree' format='png'> | ||
+ | digraph PhiloDilemma { | ||
+ | node [shape=box]; bec3; rel3; bec2; rel2; acq2; acq3; bec1; rel1; acq1; | ||
+ | node [shape=circle,fixedsize=true,width=0.9]; hu3; th3; ri3; ea3; hu2; th2; ri2; ea2; hu1; th1; ri1; ea1; | ||
+ | ri3->acq2; | ||
+ | ri3->acq3; | ||
+ | hu3->acq3; | ||
+ | bec3->hu3; | ||
+ | th3->bec3; | ||
+ | rel3->th3; | ||
+ | rel3->ri3; | ||
+ | ea3->rel3; | ||
+ | acq3->ea3; | ||
+ | ri2->acq1; | ||
+ | ri2->acq2; | ||
+ | hu2->acq2; | ||
+ | bec2->hu2; | ||
+ | th2->bec2; | ||
+ | rel2->th2; | ||
+ | rel2->ri2; | ||
+ | ea2->rel2; | ||
+ | acq2->ea2; | ||
+ | ri1->acq3; | ||
+ | ri1->acq1; | ||
+ | hu1->acq1; | ||
+ | bec1->hu1; | ||
+ | th1->bec1; | ||
+ | rel1->th1; | ||
+ | rel1->ri1; | ||
+ | ea1->rel1; | ||
+ | acq1->ea1; | ||
+ | |||
+ | overlap=false | ||
+ | label="PetriNet Model PhiloDilemma\nExtracted from ConceptBase and layed out by Graphviz " | ||
+ | fontsize=12; | ||
+ | } | ||
+ | </graphviz> | ||
+ | |||
+ | <graphviz caption='Hello SVG and PNG' alt='phylogenetic tree' format='png'> | ||
+ | digraph g { | ||
+ | graph [fontsize=30 labelloc="t" label="" splines=true overlap=false rankdir = "LR"]; | ||
+ | ratio = auto; | ||
+ | "state0" [ style = "filled, bold" penwidth = 5 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #0</font></td></tr><tr><td align="left" port="r0">(0) s -> •e $ </td></tr><tr><td align="left" port="r1">(1) e -> •l '=' r </td></tr><tr><td align="left" port="r2">(2) e -> •r </td></tr><tr><td align="left" port="r3">(3) l -> •'*' r </td></tr><tr><td align="left" port="r4">(4) l -> •'n' </td></tr><tr><td align="left" port="r5">(5) r -> •l </td></tr></table>> ]; | ||
+ | "state1" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #1</font></td></tr><tr><td align="left" port="r3">(3) l -> •'*' r </td></tr><tr><td align="left" port="r3">(3) l -> '*' •r </td></tr><tr><td align="left" port="r4">(4) l -> •'n' </td></tr><tr><td align="left" port="r5">(5) r -> •l </td></tr></table>> ]; | ||
+ | "state2" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #2</font></td></tr><tr><td align="left" port="r4">(4) l -> 'n' •</td><td bgcolor="grey" align="right">=$</td></tr></table>> ]; | ||
+ | "state3" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #3</font></td></tr><tr><td align="left" port="r5">(5) r -> l •</td><td bgcolor="grey" align="right">=$</td></tr></table>> ]; | ||
+ | "state4" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #4</font></td></tr><tr><td align="left" port="r3">(3) l -> '*' r •</td><td bgcolor="grey" align="right">=$</td></tr></table>> ]; | ||
+ | "state5" [ style = "filled" penwidth = 1 fillcolor = "black" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="black"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #5</font></td></tr><tr><td align="left" port="r0"><font color="white">(0) s -> e •$ </font></td></tr></table>> ]; | ||
+ | "state6" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #6</font></td></tr><tr><td align="left" port="r1">(1) e -> l •'=' r </td></tr><tr><td align="left" port="r5">(5) r -> l •</td><td bgcolor="grey" align="right">$</td></tr></table>> ]; | ||
+ | "state7" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #7</font></td></tr><tr><td align="left" port="r1">(1) e -> l '=' •r </td></tr><tr><td align="left" port="r3">(3) l -> •'*' r </td></tr><tr><td align="left" port="r4">(4) l -> •'n' </td></tr><tr><td align="left" port="r5">(5) r -> •l </td></tr></table>> ]; | ||
+ | "state8" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #8</font></td></tr><tr><td align="left" port="r1">(1) e -> l '=' r •</td><td bgcolor="grey" align="right">$</td></tr></table>> ]; | ||
+ | "state9" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #9</font></td></tr><tr><td align="left" port="r2">(2) e -> r •</td><td bgcolor="grey" align="right">$</td></tr></table>> ]; | ||
+ | state0 -> state5 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "e" ]; | ||
+ | state0 -> state6 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "l" ]; | ||
+ | state0 -> state9 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "r" ]; | ||
+ | state0 -> state1 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'*'" ]; | ||
+ | state0 -> state2 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'n'" ]; | ||
+ | state1 -> state1 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'*'" ]; | ||
+ | state1 -> state4 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "r" ]; | ||
+ | state1 -> state2 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'n'" ]; | ||
+ | state1 -> state3 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "l" ]; | ||
+ | state6 -> state7 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'='" ]; | ||
+ | state7 -> state8 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "r" ]; | ||
+ | state7 -> state1 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'*'" ]; | ||
+ | state7 -> state2 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'n'" ]; | ||
+ | state7 -> state3 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "l" ]; | ||
} | } | ||
</graphviz> | </graphviz> |
Текущая версия на 23:16, 11 декабря 2011