Simple Finite implementation
Use constant for transition names
Use constant for graph names