正在考虑在Java中实现非确定性有限状态机。已经检查了easyflow和许多其他此类库，但它们提供的是确定性有限状态机。
例如， 用例。用户处于暂停状态，账单到期 100 美元，现在他可以用代金券充值他的帐户。如果他充值的金额使他的用户余额低于100，那么他将继续处于暂停状态，如果他的帐户余额达到等于或超过一百美元，则用户将被发送到活动状态。
因此，该事件是相同的"重新填充"，但用户状态非常取决于他的用户余额。所以密克罗尼西亚联邦不是确定性的。
有没有关于如何迎合案件的想法？？
相反，在第二个想法上，我可以使用流口水等规则引擎来实现这种不确定的 FSM（或一种 FSM）。
Oracle BRM似乎正在使用某种状态机。关于如何在CRM系统中实施ND-FSM的任何想法。以及最常用的库（java）是什么。
您的状态机不是"非确定性的"，而只需要对某些转换进行保护，这会减少到处理程序中的额外转换。 我不知道您正在使用的库，它没有文档，所以我不知道它是否支持守卫，因此当处于"已收到补充"状态时，您的处理程序可以立即检查结果余额，触发向"暂停"或"活动"的转换