1 The Candymachine was learned using LearnLib. Figure~
\ref{fig:candy
} shows the
2 learned model. In this Figure S0 is the initial state.
5 \includegraphics[width=
1.7\textwidth,natwidth=
2389,natheight=
891]{1candyfig.png
}
6 \caption{Learned model of the candy machine
}
11 \item[Can you always insert every coin?
] Yes, all states have outgoing
12 transitions for
\texttt{COIN5
} and
\texttt{COIN10
}.
13 \item[How much do you need to pay for a single mars?
] 15 coins (S0 to S1
14 with
\texttt{COIN10
}, S1 to S4 with
\texttt{COIN5
}, S4 to S0 for a
16 \item[How much do you need to pay for a single Snickers?
] 15 coins (S0 to S1
17 with
\texttt{COIN10
}, S1 to S3 with
\texttt{COIN10
}, S3 to S5 for a
18 Snickers, S5 to S1 with
\texttt{COIN5
}, S5 to S1 for a refund which
19 would then equal
10 coins, since S0 to S1 equals
10 coins.).
20 \item[How much do you need to pay for a single Bounty?
] 20 coins (S0 to S1
21 with
\texttt{COIN10
}, S1 to S3 with
\texttt{COIN10
}, S3 to S0 for a
23 \item[Which is the minimum amount of money that you need for TWO Snickers
24 AND a Bounty?
] 50 coins (S0 to S1
25 with
\texttt{COIN10
}, S1 to S3 with
\texttt{COIN10
}, S3 to S5 for a
26 Snickers, S5 to S1 with
\texttt{COIN5
}, S1 to S3 with
27 \texttt{COIN10
}, S3 to S5 for a Snickers, S5 to S1 with
28 \texttt{COIN5
}, S1 to S3 with
\texttt{COIN10
}, S3 to S0 for a