read_PN

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

read_PN function

<dl><dt>file</dt>
<dd>Path to .pnml file</dd>
<dt>add_final_marking</dt>
<dd><code><a href="/link/logical?package=petrinetR&version=0.3.0" data-mini-rdoc="petrinetR::logical">logical</a></code> (default: <code>TRUE</code>): add final marking. If <code>TRUE</code>, all places without outgoing flows are considered part of a single final marking. Overwrite with set_final_marking() if needed. If <code>FALSE</code>, final_marking is set to <code>NULL</code></dd></dl>

Arguments

Read .PNML file — read_PN

<dl>

<dt>file</dt>
<dd>Path to .pnml file</dd>


<dt>add_final_marking</dt>
<dd><code><a href='https://rdrr.io/r/base/logical.html'>logical</a></code> (default: <code>TRUE</code>): add final marking. If <code>TRUE</code>, all places without outgoing flows are considered part of a single final marking. Overwrite with set_final_marking() if needed. If <code>FALSE</code>, final_marking is set to <code>NULL</code></dd>

</dl>

read_PN: Read .PNML file

Description

Usage

Value

Arguments