In the initial state only command CheckCoin can be accepted, which results in a reply indicating that the coin is accepted or not accepted.

At any moment, the coin checker may generate a CoinCheckerProblem notification after which the coin checker is in error mode.

The ResetCoinChecker command is only allowed in the error mode; it may be successful, leading to the initial state or fail (then the coin checker stays in error mode).