如何实现“绑定” Java 中的彩色 Petri 网？
我正在Java中实现彩色petri网。这是一种有限状态自动机。问题是我不知道如何实现“绑定”。换句话说，颜色应该分配给位置，弧表达式应该分配给弧。执行转换后，网络应进入新状态。所以，我不知道如何将函数分配给弧。
我希望我的问题很清楚，因为我不想在这里解释彩色培养网的基础知识。如果有人可以提供彩色 Petri 网的 Java 代码示例的 Web 链接，或者提供一些如何将函数分配给弧的想法，我将不胜感激。
I'm implementing a coloured petri net in Java. It's kind of a finite state automata. The problem is that I don't know how to implement "binding". In other words, colors should be assigned to places and arc expressions should be assigned to arcs. After a transition is executed, a net should go into a new state. So, I have no idea how to assign functions to arcs.
I hope my question is clear, because I don't want to explain basics of coloured petri nets here. I appreciate if someone could provide a web-link to sample Java code of a colored petri net or give some ideas how to assign functions to arcs.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
枚举函数一文展示了一种方法。
The article Enumerated Functions shows one approach.