【发布时间】：2011-12-31 23:54:04
【问题描述】：
我正在用 Java 实现 coloured petri net。这是一种有限状态自动机。问题是我不知道如何实现“绑定”。换句话说，颜色应该分配给地点，弧形表达式应该分配给弧线。执行转换后，网络应进入新状态。所以，我不知道如何为弧分配函数。
我希望我的问题很清楚，因为我不想在这里解释彩色培养网的基础知识。如果有人可以提供一个网络链接来示例彩色 petri 网的 Java 代码，或者提供一些如何将函数分配给弧的想法，我将不胜感激。
【问题讨论】：
-
您是否希望使用运行时反射来确定函数？还是真正匿名的“lambda”函数？或者将索引存储在预先确定的函数引用数组中？
-
例如，弧 A1 有一个函数 F1，类似于：function F1(int x,int y) { return (x+y) }。在这里，x 和 y 的值应该取自与具有给定弧的过渡相连的位置。但功能可能要复杂得多。好吧，如果我决定使用带有预定义函数引用的数组“arrayF”，那么如何存储这些函数？ IE。数组F[1] = ?
-
继续你的例子，我想静态函数表是
F1，F2，F3，F4，..，F109，等等。更多关于功能如何动态的问题？它们是在运行时添加/扩展的吗？还是你编译项目的时候都知道？ -
我在编译项目时知道所有功能。但是，当然，函数的输入变量的值会在彩色 Petri 网的执行过程中发生变化。
-
我很乐意，但我的 Java-fu 很弱——我要求澄清，因为我认为这个问题可以使用澄清。
标签： java binding finite-automata geometric-arc petri-net