pre_set {petrinetR}

Preset

Description

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

Usage

pre_set(PN, node)

Arguments

PN

petrinet or marked_petrinet

node

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