powered by
Visualize Petri Net with bipartite graph.
render_PN(PN)
petrinet or marked_petrinet
petrinet
marked_petrinet