post_set

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

Functions for the construction of Petri Nets. Petri Nets can be replayed by firing enabled transitions.
Silent transitions will be hidden by the execution handler. Also includes functionalities for the visualization of Petri Nets and
export of Petri Nets to PNML (Petri Net Markup Language) files.

Gert Janssenswillen

petrinetR

Building, Visualizing, Exporting and Replaying Petri Nets

Ivan Esin

post_set function

<dl><dt>PN</dt>
<dd><code>petrinet</code> or <code>marked_petrinet</code></dd>
<dt>node</dt>
<dd><code><a href="/link/character?package=petrinetR&version=0.3.0" data-mini-rdoc="petrinetR::character">character</a></code> of length one: the node id for which to get the postset.</dd></dl>

Arguments

Postset — post_set

<dl>

<dt>PN</dt>
<dd><code>petrinet</code> or <code>marked_petrinet</code></dd>


<dt>node</dt>
<dd><code><a href='https://rdrr.io/r/base/character.html'>character</a></code> of length one: the node id for which to get the postset.</dd>

</dl>

post_set: Postset

Description

Usage

Arguments