Finite State Machine HW/SW event trigger

Question

I\'m trying to write a code in C for the FSM of a Vending Machine. I\'m assuming that the machine has 3 basic buttons -- Insert Coins, Choose Product, OK.

I\'m going by t