我是纸莎草造型的新手。我在 Papyrus 论坛上问过同样的问题，但没有得到任何答复。我相信，有人可以在这方面帮助我。无论如何，我想知道如何在纸莎草状态机中进行面向方面的建模。我有一些状态机。每个状态都有自己的状态不变量。除此之外，还有许多约束在多个状态中充当状态不变量。因此，在每个状态中添加所有这些约束作为状态不变将使状态机更加复杂和混乱。在这种情况下，面向方面的建模可能是更好的选择。因此，可以将单个约束添加到同一方面的状态的状态不变量。即，一个状态的完整状态不变量将是它自己的状态不变量和来自方面的约束。这在纸莎草纸中可能吗？知道怎么做吗？有什么建议吗？