create_marked_PN

Function to create a <code>marked_petrinet</code>, consisting of a <code>petrinet</code>, an initial marking, and a final marking.

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

create_marked_PN function

<dl><dt>PN</dt>
<dd><code>petrinet</code>: Object of class <code>petrinet</code>.</dd>
<dt>initial_marking</dt>
<dd><code><a href="/link/character?package=petrinetR&version=0.3.0" data-mini-rdoc="petrinetR::character">character</a></code>: A vector with place ids representing the initial marking.</dd>
<dt>final_marking</dt>
<dd><code><a href="/link/character?package=petrinetR&version=0.3.0" data-mini-rdoc="petrinetR::character">character</a></code>: A vector with place ids representing the final marking.</dd></dl>

Arguments

Create marked Petri Net — create_marked_PN

<dl>

<dt>PN</dt>
<dd><code>petrinet</code>: Object of class <code>petrinet</code>.</dd>


<dt>initial_marking</dt>
<dd><code><a href='https://rdrr.io/r/base/character.html'>character</a></code>: A vector with place ids representing the initial marking.</dd>


<dt>final_marking</dt>
<dd><code><a href='https://rdrr.io/r/base/character.html'>character</a></code>: A vector with place ids representing the final marking.</dd>

</dl>

create_marked_PN: Create marked Petri Net

Description

Usage

Value

Arguments