enabled

List the enabled transitions in a marked Petri Net. Silent transitions, i.e. starting with "inv_" or "tau" are assumed to be able to fire silently, thereby possible enabling other transitions.

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

enabled function

<dl><dt>PN</dt>
<dd>A Petri Net</dd></dl>

Arguments

Enabled transitions — enabled

<dl>

<dt>PN</dt>
<dd>A Petri Net</dd>

</dl>

enabled: Enabled transitions

Description

Usage

Arguments