Tool token choreography

A Petri-net style diagram moves a token only when the selected tool has its prerequisites.

Wide diagrams scroll horizontally. All actions are available through the controls.