A Formal Model of a Generalized CSP-like Language

A change dispensing machine having a change dispensing board with change receiving inlets adapted to receive change coins. The change dispensing board is reciprocated by the operation of an electric motor or an electromagnet to dispense change coins received by the change receiving inlets. Slide boards are provided under the change dispensing board, for holding the change coins received by the change receiving inlet and connecting pin holes are formed in the change dispensing board. Connecting pins engage with the connecting pin holes so that the slide boards reciprocate with the reciprocation of the change dispensing board. The connecting pins are disengaged from the connecting pin holes so that reciprocation of the slide boards is released. First elastic members provide restoring forces to said connecting pins so that solenoids are released from the reciprocation of the change dispensing board. Second elastic members provide restoring forces to the plungers so that the slide boards are reciprocated with the change dispensing board. The slide boards engage with said change dispensing board with the aid of the connecting pins when the change coins are not dispensed and are disengaged when the change coins are dispensed.