petri-net - 文江博客

petri-net

petri-net

文章 0 浏览 2

谁知道k健全性验证的算法？

我有一个工作流网络（petri 网），我必须实现一个算法来验证它是否正确。…

故事与诗 2024-11-07 23:12:50 3 0

如何将活动图转换为petrinet，综合然后分析？

我正在做一个关于 Petri 网的项目。我使用 UML 工具 Umbrello 生成了一个活动图（.xmi 格式）。我需要将其转换为 Petri 网，然后使用工具 Petrify 对…

巨坚强 2024-11-07 21:59:55 6 0

有没有带IPC接口的PetriNet工具？

我正在寻找一个高质量的工具来绘制 PetriNets，它有一个连接到我自己的应用程序的接口。我有一个 PetriNet 抽象层，并实例化了一个相当大的网络。现在…

软的没边 2024-11-01 04:42:24 10 0

无循环死锁

如果我绘制一个图表，表示对阻塞函数（java同步方法）的所有可能调用，并且在该图表中没有任何循环，我可以确定死锁是不可能的吗？ Petri网不是这样工…

薆情海 2024-10-28 10:29:11 6 0

评估网基于网络的编辑器：搜索工具包

我的目标是实现基于网络的评估网编辑器（Petri网的扩展），类似于那个swing应用程序，语言-Java。然而我从来没有实现过这样的丰富的网络应用程序，所…

厌倦 2024-10-17 09:41:20 2 0

Petri网绘图和代码生成

是否有任何软件可以绘制 Petri 网并从那里生成任何源代码？源代码可以采用任何已知的编程语言... 稍微不太理想的选择是以某种开放格式（例如 XML 或任…

遮了一弯 2024-10-16 14:51:11 10 0

有没有建模/模拟软件并发性的工具？

是否有一个好的工具可以以图形方式对应用程序并发/锁定方案进行建模并可以模拟某些方面？我知道 Petri 网或多或少可以用于此目的，但我不知道可以设…

风蛊 2024-08-15 23:53:10 12 0

共 1 页
1

热门标签

操作系统程序设计 IT运维 Linux系统管理 JavaScript 服务器应用 solaris C/C++ PHP Shell BSD Vue.js aix Oracle Python HTML 系统管理 HTML5 CSS 前端

推荐作者

離殇

文章 0 评论 0

小姐丶请自重

文章 0 评论 0

Aik

文章 0 评论 0

国产ˉ祖宗

文章 0 评论 0

猥琐帝

文章 0 评论 0

半仙

文章 0 评论 0

友情链接

我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的隐私政策了解更多相关信息。单击 接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。

原文