Get the current marking of a Petri Net

marking(PN)

Arguments

PN

A Petri Net