问题标签 [petri-net]

我可以设置一个火规则来改变彩色 Petri 网中标记的颜色吗？例如，我定义：当触发转换时，颜色 A 的标记变成颜色 B。我想把这个写在我的论文里，这个规则可行吗？

如何创建一个索引的、易于迭代的 int Colset？

我需要通过索引将整数传递给转换函数，并且我正在考虑一些带有索引的东西，例如

目前我正在尝试将 Petrinet 生成器设置为 jupyter 小部件。因此，我使用的是 cookiecutter-ts-widget 模板，这意味着我正在 typescript 中实现前端逻辑。我对进展感到满意，一切正常，除了我的地方的令牌没有被渲染。

这是我在以下位置创建示例的方式joint.dia.Paper：

通过控制台记录，您可以看到标记位于相应的单元格中（例如标记：1），但即使整个图形渲染得非常好，也不会渲染。此外，我注意到pn.Place单元格仅包含以下标志： {PORTS: 16, RENDER: 64, RESIZE: 8, ROTATE: 32, TOOLS: 4, TRANSLATE: 2, UPDATE: 1}

根据我的理解，也应该有一个TOKENS标志，它被选中，最后以动态 HTML 的形式在后台添加标记。

包含标记的 Cell 的正确示例：

与我的单元格（包含未呈现的标记）相比：

有没有人对如何让新 Place 的初始化程序（即new pn.Place()）在内部添加TOKENS-flag 有任何想法？或者你知道我如何自己添加这个标志吗？

任何帮助表示赞赏！

我正在尝试绘制 Petri 网图。我正在使用 python 并且已经能够生成图形。然而，只有转换被标记。地点没有标签属性。所以我尝试设置 arc.source.label 和 arc.target.label 但标签没有出现在生成的图中。有人可以告诉我我错过了什么吗？这是代码

有人能告诉我这是哪种语言以及我应该如何将其编译成图表吗？我下载了一个python代码，执行后它给了我这个。除了输出是一个点文件之外，文档中没有任何内容。

我正在用PM4PY学习过程挖掘，但是我不明白pm4py生成的基于频率和基于性能的图像。它们之间有什么区别？它们都表达了什么？