powered by
Get the initial marking of a marked_petrinet
marked_petrinet
initial_marking(PN)
A marked_petrinet