post_set {petrinetR}

Postset

Description

Get the postset of a transition or place in a Petri Net

Usage

post_set(PN, node)

Arguments

PN

petrinet or marked_petrinet

node

character of length one: the node id for which to get the postset.