如何在Java中实现彩色Petri网的“绑定”？

Question

我正在Java中实现coloured petri net。它是一种有限状态自动机。问题是我不知道如何实现“绑定”。换句话说，颜色应分配给场所，弧形表达式应分配给弧。执行转换后，网络应进入新状态。所以，我不知道如何为弧分配函数 我希望我的问题很明确，因为我不想在这里解释有色Petri网的基础知识。我很感激，如果有人可以提供一个web链接来获取彩色Petri网的Java代码，或者给出一些如何为弧分配函数的想法。

Answer 1

  

请举例说明如何创建静态函数数组，然后如何引用这些函数？

文章Enumerated Functions显示了一种方法。