问题标签 [petri-net]

我已经多次阅读和听到，可达性图是一种特殊类型的转换系统，具有一个初始和未定义数量的最终标记。

但是，如果您构建可达性图，您将拥有非常清晰的最终标记案例。这是否意味着您无法根据触发转换的方式知道哪个将是您的最终标记？因为，很明显，您可以枚举/计算最终标记的数量。

想象一下，我可以将某个进程指定为 Petri 网。是否有任何好的软件，无论是否开源，都可以根据我用某种语言声明（或代码）的某些条件来验证我的过程？

如果没有，是否有至少可以进行模拟的开源软件？

我被要求构建一个 petri 网引擎，作为内部工作流程的基础。

到目前为止，我已经能够生成所有逻辑和行为（我创建了一个“服务台”类型的工作流来测试规则和条件）并且一切正常。

然而，事实证明有点痛苦的是，将 Petri 网可视化并自动执行此可视化。

我一直在看 SVG 绘图例程，例如： http: //flowchart.js.org（流程图） https://bramp.github.io/js-sequence-diagrams/（序列图）

我很想修改其中一个或找到一个类似的作为基础，但我面临一个意想不到的问题：我完全不熟悉复杂的绘图例程和处理自动放置多个并发连接的理论和分支机构。

上面的两个例子很简单，但是在 Petri 网中，你可能有一个地方产生多个转换，如果处理不当，即使是短/简单的网络也很容易变成笨拙的图表。

解决这个问题的最佳方法是什么？

我正在关注使用 petrinet 框架生成 pnml 文件的教程。我使用了来自 github 的这个链接并下载了 php 代码。但是，当我尝试在我的系统上本地运行它时，由于以下错误，我无法运行：

致命错误：找不到类 'ziguss\petrinet\Element'

当我尝试执行以下代码（Place.php）时出现此错误

Element类如下图所示：

谁能帮我解决这个错误。

提前致谢！

由于 JointJs 2.0.0（这也发生在 2.0.1 中）PetriNet 插件不会在这些地方呈现任何标记。小提琴包含来自 JointJS 站点的演示以及最新的 JointJS 版本。

以下代码应使用一个令牌创建一个位置，但不呈现令牌。当 JointJs 版本更改为 1.1.1 时，会渲染令牌。

如何在这些地方渲染令牌？

I am generating a Message Sequence Chart (MSC) to my model. I have the following code in the transition and it is working:

I tested this code and it worked fine. Then, I decided to put it into a function, that is coded as follows:

But I am receiving this error message:

Error: Error: exception Compile is raised with Aborted parsing

Can anyone suggest something to solve this problem?

它们都代表系统可以采取的不同状态。那么Petri网和有限状态机有什么区别呢？什么时候使用 Petri 网，什么时候使用有限状态机？

使用什么软件或工具来生成这些高级 petri 网图图像？
我找了很多工具，但找不到那个。

来自https://ieeexplore.ieee.org/document/7464291

来自https://link.springer.com/article/10.1007/s11227-013-1055-z

来自https://ieeexplore.ieee.org/document/7008450

我是 openmodelica 的新手，因为我从事可靠性工程工作，所以我将使用的 openmodelica 的主要功能是 petri 网建模。我已经学习了 ExtendedPetriNets 库（https://github.com/modelica-3rdparty/ExtendedPetriNets）。但是，当我在 openmodelica 中打开这个库时，我收到了几条错误消息，这些消息可以归类为：

1. 找不到类或组件椭圆

In modifier (Ellipse(extent = {{-100, -100}, {100, 100}}), class or component extent), class or component Ellipse not found in <Icon>

2. 组件图标上元素 Line.points 的重复修改

[ExtendedPetriNets: 569:14-569:42]: Duplicate modification of element Line.points on component Icon

我怀疑这些错误消息是由于 ExtendedPetriNets V 1.0 和 OmEdit v1.13.2 之间的版本不兼容造成的。因此我的问题是：1.真的是版本问题吗？2.如何解决这个问题？

也许我在比较土豆和苹果。我正在使用YAWL，这是一种基于Petri net的工作流语言。

我刚刚开始理解它，但有一点我没有抓住：“经典”集群系统 - 或云或网格系统 - 和 Petri 网有什么区别？

我的意思是，例如，Django webapp 的集群系统和用 YAWL 编写的 webapp 有什么区别？

编辑

我发现这个业务流程管理引擎 Activiti 可以集成到Spring Boot中。用 YAWL 编写的 webapp 和用 Spring Boot + Activiti 编写的 webapp 有什么区别？