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.
A Petri Net
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.