Maquinas de estado finito o autómatas finitos

Hola expertos tengo el siguiente problema del tema de ingeniería informática, en el tema de maquinas de estado finito:

Modele una máquina expendedora de chiches en la que puede ingresar monedas de $100, $200 y $500 una vez ingresadas, debe solicitar su servicio el cual puede ser:
- P: caja pequeña cuyo costo es 300
- G: caja grande cuyo costo es 600

La máquina debe ser capaz de:

- dar vuelto (restrinja la cantidad de monedas que pueden ser ingresadas a la cantidad máxima para hacer el pedido más costoso).
-dar el servicio solicitado (caja pequeña o caja grande)
- dar error (E) en caso de que la plata ingresada no alcance para el servicio solicitado.

Construir diagrama de transiciones y tabla de transiciones:

gracias por la ayuda que me puedan brindar