post_set.Rd
Get the postset of a transition or place in a Petri Net
post_set(PN, node)
A Petri Net
A place or transition in the petri net