enabled: Enabled transitions
In petrinetR: Building, Visualizing, Exporting and Replaying Petri Nets
enabled R Documentation
Enabled transitions
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
enabled(PN)
Arguments
PN
A Petri Net
petrinetR documentation built on April 3, 2023, 5:21 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.
| enabled | R Documentation |
Enabled transitions
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
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.