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.
1  | execute(PN, transition)
 | 
PN | 
 A Petri Net  | 
transition | 
 The transition to be fired  | 
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.