Basically, I want to design a system where a vehicle goes through one of the sensors, then both, then leaves one, leaves both and finally counter goes up by 1. I've been able to draw the graph below.
I am, however, having difficulty putting it in my states table. How would I go about it?