正在考虑在 Java 中实现非确定性有限状态机。已经检查过 easyflow和许多其他此类库，但它们提供的是确定性有限状态机。
例如。 用例。 用户处于暂停状态并且有 100 美元的账单到期，现在他可以用现金券重新填充他的帐户。如果他补充的金额使他的用户余额小于 100，那么他将继续处于暂停状态，如果他的帐户余额达到等于或超过 100 美元，那么用户将被发送到活动状态。
因此，该事件是相同的“补充”，但用户非常重视他的用户余额。所以 FSM 不是确定性的。
有没有关于如何处理这个案子的想法？
相反，第二个想法我可以使用drools之类的规则引擎来实现这种不确定的 FSM（或某种 FSM） 。
Oracle BRM似乎正在使用某种状态机。关于如何在 crm 系统中实现 ND-FSM 的任何想法。什么是最常用的库（java）。