powered by
Get nodes from (marked) petrinet
nodes(PN)
petrinet or marked_petrinet
petrinet
marked_petrinet