OpenModelica 中的扩展 PetriNets 库问题

Question

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

1. 找不到类或组件 Ellipse

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

1. 组件图标上元素 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. 如何解决这个问题？

Answer 1

是的，是版本问题。

但上面的错误并不重要，您可以删除有问题的代码，因为Ellipse 和Line.points 只是图形的一部分。 ExtendedPetriNets 使用一组比 Modelica 规范 3 中标准化的图形注释更旧的图形注释。

但是，ExtendedPetriNets 也依赖于来自 https://github.com/modelica-deprecated/ModelicaAdditions 的 ModelicaAdditions.PetriNets，它使用旧版本的 Modelica 标准库 - 您需要进行转换才能将其与当前版本一起使用。

如果您解决第一个问题，这可能会产生更严重的问题。

在新的 Modelica 标准库中，以 Modelica.StateGraph 的形式替代了 petri 网，但它似乎缺少您需要的扩展。