带有 Graphviz 的分层状态机答案

【问题标题】：Hierarchical State Machine with Graphviz带有 Graphviz 的分层状态机
【发布时间】：2021-08-27 12:11:17
【问题描述】：

我正在尝试在 Graphviz 的帮助下制作供应商机器的状态图。

我想要接近this one的结果。

它也包含嵌套的状态机。这是我到目前为止在 Graphviz 中所做的。请找到在线演示here。

digraph vendorMachine {
compound=true

Entry[shape="point" label=""]

subgraph cluster_cancel {
    label = "Cancel"
    style = rounded

    C0 [label = <
        <table cellborder="0" style="rounded">
            <tr><td>C0</td></tr>
            <hr/>
            <tr><td></td></tr>
        </table>
    > margin=0 shape=none]
    
    C25 [label = <
        <table cellborder="0" style="rounded">
            <tr><td>C25</td></tr>
            <hr/>
            <tr><td></td></tr>
        </table>
    > margin=0 shape=none]

    C50 [label = <
        <table cellborder="0" style="rounded">
            <tr><td>C50</td></tr>
            <hr/>
            <tr><td></td></tr>
        </table>
    > margin=0 shape=none]
    
    C75 [label = <
        <table cellborder="0" style="rounded">
            <tr><td>C75</td></tr>
            <hr/>
            <tr><td></td></tr>
        </table>
    > margin=0 shape=none]
    
    subgraph cluster_DispenseC100Drink {
        label = "DispenseC100Drink"
        style = rounded
        
        C100 [label = <
            <table cellborder="0" style="rounded">
                <tr><td>C100</td></tr>
                <hr/>
                <tr><td></td></tr>
            </table>
        > margin=0 shape=none]
        
        subgraph cluster_DispenseC125Drink {
            label = "DispenseC125Drink"
            style = rounded
            
            C125 [label = <
                <table cellborder="0" style="rounded">
                    <tr><td>C125</td></tr>
                    <hr/>
                    <tr><td></td></tr>
                </table>
            > margin=0 shape=none]
            
            C150 [label = <
                <table cellborder="0" style="rounded">
                    <tr><td>C150</td></tr>
                    <hr/>
                    <tr><td></td></tr>
                </table>
            > margin=0 shape=none]
    
            C175 [label = <
                <table cellborder="0" style="rounded">
                    <tr><td>C175</td></tr>
                    <hr/>
                    <tr><td></td></tr>
                </table>
            > margin=0 shape=none]
            
            C200 [label = <
                <table cellborder="0" style="rounded">
                    <tr><td>C200</td></tr>
                    <hr/>
                    <tr><td></td></tr>
                </table>
            > margin=0 shape=none]
                }
            }
}

Entry -> C0
C0 -> C25[label=" Add\n$0.25 "]
C0 -> C50[label=" Add\n$0.50 "]

C25 -> C50[label=" Add\n$0.25 "]
C25 -> C75[label=" Add\n$0.50 "]

C50 -> C75[label=" Add\n$0.25 "]
C50 -> C100[label=" Add\n$0.50 "]

C100 -> C0[label=" Dispense\n $1.00 Drink " ltail="cluster_DispenseC100Drink"]

C75 -> C100[label=" Add\n$0.25 "]
C75 -> C125[label=" Add\n$0.50 "]

C100 -> C125[label=" Add\n$0.25 "]
C100 -> C150[label=" Add\n$0.50 "]

C125 -> C150[label=" Add\n$0.25 "]
C125 -> C175[label=" Add\n$0.50 "]

C125 -> C0[label=" Dispense\n $1.25 Drink "  ltail="cluster_DispenseC125Drink"]

C150 -> C175[label=" Add\n$0.25 "]
C150 -> C200[label=" Add\n$0.50 "]

C175 -> C200[label=" Add\n$0.25 "]

C200 -> C0[label=" Dispense\n $2.00 Drink "]

}

所以，我的查询是：

如何使它与上述图片相似？
除了我的 Graphviz 代码之外，还有其他更好的方法吗？（这是我迄今为止所做的最好的方法吗）
Graphviz 代码中缺少一个转换，如果我们通过 Cancel 事件，它应该进入状态 C0（请查看附件图片）。我们如何使用 Graphviz 实现这一点？

提前感谢您的建议和回答。

【问题讨论】：

标签： graphviz dot statechart

【解决方案1】：

“Straight” Graphviz（命令行）产生不同（和“更接近”）的结果。这是您的程序，只需进行一些调整：

digraph vendorMachine {
    compound=true
    graph [color=red]
    node [color=red]  // yuck style=filled fillcolor=yellow]
    edge [color=red]
    
    Entry[shape="point" label=""]

    subgraph cluster_cancel {
        label = "Cancel"
        style = rounded

    E2   [shape=rect label="" width=2 style=invis]
    E2:sw->C0  [label=cancel]


        C0 [label = <
            <table cellborder="0" style="rounded">
                <tr><td>C0</td></tr>
                <hr/>
                <tr><td></td></tr>
            </table>
        > margin=0 shape=none]
        
        C25 [label = <
            <table cellborder="0" style="rounded">
                <tr><td>C25</td></tr>
                <hr/>
                <tr><td></td></tr>
            </table>
        > margin=0 shape=none]

        C50 [label = <
            <table cellborder="0" style="rounded">
                <tr><td>C50</td></tr>
                <hr/>
                <tr><td></td></tr>
            </table>
        > margin=0 shape=none]
        
        C75 [label = <
            <table cellborder="0" style="rounded">
                <tr><td>C75</td></tr>
                <hr/>
                <tr><td></td></tr>
            </table>
        > margin=0 shape=none]
        
        subgraph cluster_DispenseC100Drink {
            label = "DispenseC100Drink"
            style = rounded
            
            C100 [label = <
                <table cellborder="0" style="rounded">
                    <tr><td>C100</td></tr>
                    <hr/>
                    <tr><td></td></tr>
                </table>
            > margin=0 shape=none]
            
            subgraph cluster_DispenseC125Drink {
                label = "DispenseC125Drink"
                style = rounded
                
                C125 [label = <
                    <table cellborder="0" style="rounded">
                        <tr><td>C125</td></tr>
                        <hr/>
                        <tr><td></td></tr>
                    </table>
                > margin=0 shape=none]
                
                C150 [label = <
                    <table cellborder="0" style="rounded">
                        <tr><td>C150</td></tr>
                        <hr/>
                        <tr><td></td></tr>
                    </table>
                > margin=0 shape=none]
        
                C175 [label = <
                    <table cellborder="0" style="rounded">
                        <tr><td>C175</td></tr>
                        <hr/>
                        <tr><td></td></tr>
                    </table>
                > margin=0 shape=none]
                
                C200 [label = <
                    <table cellborder="0" style="rounded">
                        <tr><td>C200</td></tr>
                        <hr/>
                        <tr><td></td></tr>
                    </table>
                > margin=0 shape=none]
                    }
                }
    }
    
    Entry -> C0
    C0 -> C25[label=" Add\n$0.25 "]
    C0 -> C50[label=" Add\n$0.50 "]
    
    C25 -> C50[label=" Add\n$0.25 "]
    C25 -> C75[label=" Add\n$0.50 "]
    
    C50 -> C75[label=" Add\n$0.25 "]
    C50 -> C100[label=" Add\n$0.50 "]
    
    C100 -> C0[label=" Dispense\n $1.00 Drink " ltail="cluster_DispenseC100Drink"]
    C75 -> C100[label=" Add\n$0.25 "]
    C75 -> C125[label=" Add\n$0.50 "]
    C100 -> C125[label=" Add\n$0.25 "]
    C100 -> C150[label=" Add\n$0.50 "]
    C125 -> C150[label=" Add\n$0.25 "]
    C125 -> C175[label=" Add\n$0.50 "]
    C125 -> C0[label=" Dispense\n $1.25 Drink "  ltail="cluster_DispenseC125Drink"]
    C150 -> C175[label=" Add\n$0.25 "]
    C150 -> C200[label=" Add\n$0.50 "]
    C175 -> C200[label=" Add\n$0.25 "]
    C200 -> C0[label=" Dispense\n $2.00 Drink "]
}

捐赠：

【讨论】：

谢谢，@sroush。那很奇怪。但是，您能否建议我们如何为其他集群（Cancel、DispenseC100Drink 和 DispenseC125Drink）添加单独的列（ this 图像中提到的 C0、C25 等）？感谢您的帮助，非常感谢！

【解决方案2】：

这是否足够接近？（由眼球完成）

  subgraph cluster_cancel { 
        label = <
            <table cellborder="0" border="0"> 
                <tr><td width="478" >Cancel</td></tr>
                <hr/>
                <tr><td></td></tr>
            </table>
        >

【讨论】：

是的！谢谢。但是因为我们可以有多个具有不同宽度的子图。有没有办法将表格和 hr 标签与外部标签完全匹配，而不是硬编码宽度值？
试试dot -Tdot，然后用GVPR、python等计算宽度，编辑文件。
你能更详细地描述一下吗？我想要一个 SVG 图像作为输出。