Click on the transitions to activate them.
Edit the JSON network description in the text box below and click evaluate to modify the petri net.