标签： uppaal
您好我正在设计咖啡自动售货机问题，客户在插入硬币时订购 mocca 或 latte 。机器必须确保插入硬币并且有足够的水以至少 5 订单。如果不满足此条件，则必须退回硬币并且水位应填充到下一个订单的5 。 在客户1 选择mocca之后，我的设计显示出死锁。 设计和错误存在于此链接中link to my designs 练习取自Link