问题标签 [petri-net]

在我的彩色 Petri 网模型中，我想以一种地方可以接收两种不同类型的“请求”的方式使用联合。

我有以下声明：

我有以下配置：

过渡 ------> 地点 (REQUEST_PUBSUB) <----- 过渡

右转换正在发送((int, string), string, real)，左转换正在发送((int, string), string, int)。由于 place 是类型REQUEST_PUBSUB，它是 and 的联合REQUEST_PUB，REQUEST_SUB理论上这应该有效， once((int, string), string, real)显然是有效的REQUEST_PUB并且((int, string), string, int)显然是有效的REQUEST_SUB。

但这不起作用，我收到以下错误：

错误：表达式不匹配约束 [tycon mismatch]
表达式：(INT * STRING) * STRING * REAL
约束：REQUEST_PUBSUB ms
表达式 ((int, string), string, real): REQUEST_PUBSUB ms
详细失败

和

错误：表达式不匹配约束 [tycon mismatch]
表达式：(INT * STRING) * STRING * INT
约束：REQUEST_PUBSUB ms
表达式 ((int, string), string, int): REQUEST_PUBSUB ms
详细失败

谁能帮我这个？我认为描述很清楚，但如有必要，我可以补充更多信息。

我有以下声明：

我有一个类型的地方REQUEST_PUBSUB，可以接收REQUEST_PUB和REQUEST_SUB类型的令牌。这个地方将变量发送pubsub_req到转换。我想使用这些pubsub_req值进行操作。例如，测试请求的字符串参数是否为某个值。我正在尝试这样做#3 pubsub_req = "some value"，但出现以下错误：

错误：运算符和操作数不一致 [类型不匹配]
运算符域：{3:'Y;'Z}
操作数：表达式中的 REQUEST_PUBSUB
：(fn {3=3,...} => 3) pubsub_req
详细失败

如何对 UNION 类型的元素进行操作？

我遇到了一个花了我很多时间但我还没有解决的问题，问题是用 Python 编写的应用程序的 Petri 网的建模看起来如何？如果有任何代码和Petri网表示（建模）的例子，请告诉我，谢谢大家。

我知道 Petri 网由箭头、状态（位置）和转换（事件）组成

正如问题所说，有没有办法在 python 中使用 networkx 模块将 Petri 网绘制到 cmd ？

如果不是，有哪些选项可用于执行此任务？我正在为 uni 制作一个 Petri 网络并在用户选择启用的转换之一后打印它的项目。源代码是用各种对象完成的，它做了应该做的事情。

所以，我必须在java中实现一些Petri网，我必须使用线程。当我只需要使用一次同步方法时，它就很清楚了。等待/通知方法对我来说不是很清楚，所以我被卡住了。如果有人可以向我解释我应该如何做到这一点，那将是一个非常大的帮助。

我目前正在构建一个控制器，它应该采用 Petri 网，并且基于它从另一个设备接收到的输入事件，应该将输出事件触发到同一设备。

问题是：Petri Net 如何将事件输出到外部设备？

• 当一个地方收到一个令牌时它应该触发一个事件吗？
• 是否应该在激活转换时触发事件？
• ...

通常，参数node_shape = "s"（“s”可以用其他东西代替）给出节点形状。但是，可用的选项node_shape很少

我想创建一个长（长度/宽度 = 7）矩形节点来表示 Petri 网的过渡（https://upload.wikimedia.org/wikipedia/commons/f/fe/Detailed_petri_net.png）

有没有办法在 networkx 或 Python 中的任何其他类似包中实现它？

我有一个 Petri Net 模型，我想将它转换为 FSM。我考虑了 PN 的可达性图，RG 是否与 FSM 的可能表示同构？

先感谢您！

如何在 Petriflow 语言的操作中创建新案例？我试过createCase（）。

我有这样的动作：

但在 Mongo 中，没有任何变化。