img=https://imgur.com/Wk63xgA Lo state diagram in figura descrive (in modo semplificato) una macchina distributrice di bevande. Quale dei seguenti modelli Modelica รจ plausibile per lo state diagram in figura?