正在考虑在Java中实现非确定性有限状态机。检查过easyflow和许多其他类似的库，但他们提供的是确定性有限状态机。
例如。用例。用户处于暂停状态并且账单到期为100美元现在他可以用钱包补充他的账户。如果他补充金额使他的用户余额低于100，那么他将继续处于暂停状态，如果他的账户余额达到等于或超过一百美元，则用户被发送到活动状态。
所以事件是相同的“重新填充”，但用户非常关注他的用户平衡。所以FSM不是确定性的。
有什么想法如何迎合案件？
相反，在第二个想法，我可以使用像drools这样的规则引擎来实现这种不确定的FSM（或FSM）。
Oracle BRM似乎正在使用某种状态机。关于如何在crm系统中实现ND-FSM的任何想法。什么是最常用的库（java）相同。
您的状态机不是“非确定性的”，但仅需要在某些转换上使用guards，这会减少处理程序中的额外转换。我不知道你正在使用的库，它没有文档，所以我不知道它是否支持防护，因此当处于'refill received'状态时，你的处理程序可以检查结果余额，立即触发转换到'暂停'或'活跃'