Hmm.. I know about your system, i think is a booster system.
I work everyday with that, sometimes up to six pumps. I suggest you learn about secuential system, 'Mealy diagram' and 'Moore diagram', is like a status logic. For example, the last status clean the previous state. Check the file.
How did you developing your system? Like me?
Regards!
MAPA.pdf