问题标签 [petri-net]

在研究我在单调性引理上遇到的一些 petri 网时，它说：

设 M 和 L 是网络的两个标记。

如果 M->M' 对于有限序列 sigma，则 (M+L)->(M'+L) 对于每个标记 L。

如果M->对于一个无限序列sigma，那么(M+L)->对于每个标记L。

箭头顶部是 sigma。

有谁明白 M+L 在标记方面的含义吗？我应该将这些标记加在一起还是将 L 添加到 M 的路径？

我想问一下Petri网（PN）的有界性。当我有一个状态时，我会s1 = (2 0 0)找到状态s2 = (2 0 1)，所以s1 < s2我可以将 PN 声明为无界吗？因为当我有这个 PN 时：

PN 是有界的，但你可以在那里找到 (2 0 0) < (2 0 1)。所以我的问题是。我对 petri 网的有界性有误还是图片上的 PT 有问题？

我在网上搜索了所有内容，但找不到将cpntools中的 CPN（彩色 Petri 网）模型导出为 jpg 或 png 图像的方法。

这是一篇模糊的文章，但不是那么翔实和有用。有什么想法吗？

你能画出旅行商问题的Petri网模型吗？培养网中是否有可能有不同种类的地方？

我是 Petri 网的新手。为背包问题绘制Petri网图的步骤是什么？

petri 网适合建模这个问题吗？

是否有一种算法来检查彩色 Petri 网的边界标准（意味着状态空间是有限的）（或者这个属性是不可判定的）？

在下面显示的 petrinet 中，我在在 input2 中创建具有随机值的令牌时遇到问题，因为 rand() 函数似乎不起作用。还有其他方法吗？

这是我第一次做 Petri 网，我想做一台洗衣机的模型。我已经开始了，到目前为止它看起来像这样：

您有任何更正或帮助吗？我显然知道它不正确，但我是初学者，不知道你们可能会看到的错误。提前致谢。

假设我知道给定位置转换网络的标记。

如何确定哪些标记是位置不变的？我也知道最初的标记。我将欣赏一个非常容易理解的解释。

我已阅读本文的第 17 页，其中描述了查找位置不变量的公式，但我并不完全理解。

请不要简单地告诉我位置不变量是什么。向我解释我怎样才能找到它们，以便我以后总能做到这一点。

一组位置的初始标记（U、V、W、X、Y、Z）：

• (0,1,1,1,0,0)

其他标记：

1. (0,1,0,0,1,0)
2. (0,1,0,1,0,1)
3. (1,0,0,1,0,0)

文档建议 Symfony Workflow 组件基于 Petri Net，但文档还不够完整，无法确定它是否支持所需的路由构造（AND-split、AND-join、ORsplit 和 OR-join）来构建顺序、条件、并行和迭代路由。请参阅Petri 网在工作流管理中的应用中的“4.2 路由构造”一章。重新表述工作流组件的问题：如何向工作流添加条件分支？