Add full dependency check.
Add unregister controller option.
Remove the named maps form helper classes and pass only the controller id number to classes.
When everythin is working, build dep and pn graphs directly from the petri-net matrices
Add multiple desired places setup
Add place turn-off option
Add additional state enabled place in parallel with the control place.
Add weighted transitions for multi DOF controllers ?
Add simulation step for activation to detect wrong firing sequences.
Extract reachability graph building and ploting
Extract debugging information and structure it in a debug class
Possible optimizations: Incremental graph building
Possible optimizations: BFS only on a subset of the graph ?
Possible optimizations: Spin-off BFS for the new state in a thread to have it ready in advance
Recommended optimizations: Reachability calculation memory/time/copying/std::find usage
Add detection of faulty controller registrations or setups. -analyze if they have indirect dependencies to DOFs
Possible optimizations: Find sequences that can fire simultaneously