alpha.py 文件源码

def build_petrinet(tl, yl, ti, to, output_file):
    pn = gv.Digraph(format='png')
    pn.attr(rankdir='LR')  # left to righ layout - default is top down
    pn.node('start')
    pn.node('end')

    for elem in yl:
        for i in elem[0]:
            pn.edge(i, str(elem))
            pn.node(i, shape='box')
            pn.node(str(elem), shape='circle')
        for i in elem[1]:
            pn.edge(str(elem), i)
            pn.node(i, shape='box')
    for i in ti:
        pn.edge('start', i)
    for o in to:
        pn.edge(o, 'end')
    pn.render(output_file)