execute.RdExecutes (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.
execute(PN, transition)
| PN | A Petri Net |
|---|---|
| transition | The transition to be fired |