1

您好，我正在乌帕尔设计咖啡自动售货机问题，客户在插入硬币时订购摩卡或拿铁咖啡。机器必须确保投入硬币并且有足够的水来至少下5 个订单。如果不满足此条件，则必须退回硬币，并且水位应填充到 5以进行下一个订单。在客户 1选择 mocca后，我的设计显示死锁。设计和错误在此链接中链接到我的设计 练习取自此链接

4

0 回答 0