This contains the logic for editing petri nets.
In order to use it, you need to implement the
Renderer trait for your renderer.
Then you can create a new
Then you need to call the main events
update repeatedly as specified.
In order to call
input, you need to create an
This represents the editor you want to use to edit and display petri nets.
Settings for the sizes of the nodes.
Represents from which type of element to which type of element an arrow should be drawn.
The view mode indicates how the petri net is displayed.
The renderer trait is used to display the elements of the petri net in a specific way.
Every drawing method starts with