 name"><code>petrinet_check_wfnet.Rd</code></div>
    </div>

    <div class="ref-description">
    <p>Checks if the Petri net is a Workflow net</p>
    </div>

    <pre class="usage"><span class='fu'>petrinet_check_wfnet</span>(<span class='no'>pn</span>, <span class='kw'>convert</span> <span class='kw'>=</span> <span class='fl'>TRUE</span>)</pre>

    <h2 class="hasAnchor" id="arguments"><a class="anchor" href="#arguments"></a>Arguments</h2>
    <table class="ref-arguments">
    <colgroup><col class="name