execute {petrinetR} | R Documentation |
Execute
Description
Executes (fire) an enabled transition and returns the Petri Net with the New marking. If the transition is enabled via the firing of silent transition (i.e. starting with "inv_" of "tau"), it will fire these first. If the transition is not enabled, it will return FALSE.
Usage
execute(PN, transition)
Arguments
PN |
A Petri Net |
transition |
The transition to be fired |
[Package petrinetR version 0.3.0 Index]