Module arc 

Structs

Inhibitor

Inhibitor arc: blocks transition if place has tokens.

Read

Read arc: requires token without consuming.

Reset

Reset arc: removes all tokens from place when firing.

Functions

inhibitor

Creates an inhibitor arc for the given place.

read

Creates a read arc for the given place.

reset

Creates a reset arc for the given place.