Petri nets model concurrent systems: circles are places (hold tokens), rectangles are transitions (fire when inputs are satisfied). Click a green transition to fire it, or use presets.
A transition fires when every input place has enough tokens. It consumes one token from each input and produces one in each output. Green = fireable now.
← Back to Lab