enabled: Enabled transitions
In gertjanssenswillen/petrinetR: Building, Visualizing, Exporting and Replaying Petri Nets
Description
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.
Usage
1
enabled(PN)
Arguments
PN
A Petri Net
gertjanssenswillen/petrinetR documentation built on Aug. 1, 2019, 12:55 p.m.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Description
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.
Usage
1 | enabled(PN)
|
Arguments
PN |
A Petri Net |
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Embedding an R snippet on your website
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.