问题标签 [petri-net]

是否有一个好的工具可以以图形方式对应用程序并发/锁定方案进行建模并且可以模拟某些方面？

我知道 Petri 网或多或少可以用于此目的，但我不知道可以设计和模拟的良好 GUI 工具。

UML 是否可用于此类目的？

任何好的链接都非常感谢。

A friend just pointed me out to an new development in computer science called "rule based verification with Petri nets". He's not a computer guy but an artist, so I wonder if that's really something cool I must look at? Over the phone he told me from reading and translating an newspaper in Russian, that this fancy new technology is all about automatically getting code architectures of rule based systems perfectly right. A kind of artifical intelligence helping us to code perfectly? Ok, I really don't know, haven't studied computer science.

I'm curious: What exactly is this all about? And how does it work? Can I use it for my framework?

I guess a "rule based system" is almost everything: All our code has rules. Hope for some useful answers.

是否有任何软件可以绘制 Petri 网并从那里生成任何源代码？源代码可以是任何已知的编程语言......

稍微不太理想的选项是以某种开放格式（如 XML 或任何其他数据语言）在基于文本的文件中输出仅包含 Petri 网图描述的文件。然后我可以自己编写代码生成器，但至少我想避免 gui/graph 开发部分;))

谢谢

我的目标是为评估网（Petri 网的扩展）实现基于 Web 的编辑器，类似于Swing 应用程序，语言 - Java。但是我从来没有实现过这样的富 Web 应用程序，所以我现在正在寻找合适的工具包。目前我正在考虑 GWT，但是，就我没有经验而言，我也想考虑其他选择。希望得到您的建议。

提前致谢 ;）

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

我不是在寻找这样的答案：使用一些怪物框架等等。

我想用同步方法处理我的多线程。

EDIT1：尖箭头表示一个类是否调用另一个类的任何同步方法 EDIT2：klick @here 示例，显示一个循环

我正在寻找一种高质量的工具来绘制 PetriNets，它具有连接到我自己的应用程序的接口。我有一个 PetriNet 抽象层，并实例化了一个相当大的网络。现在我想可视化它以简化我的软件的调试。IPC 可以通过命名管道、套接字……我可以将其中任何一个附加到我的代码中。

我目前正在使用独立于平台的 Petrinet 编辑器。使用起来有点混乱，但它确实可以完成工作。但是，它没有上述用例。

这是可用工具的列表：http:
//www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html

我在 Petri 网上做一个项目。

我使用 UML 工具 Umbrello 生成了一个活动图（.xmi 格式）。我需要将其转换为 Petri 网，然后使用 Petrify 工具对其进行合成。但是为了将其转换为 Petri 网，必须将活动图转换为 XML 格式。

为了使用 petrify 进行合成，必须将 Petri 网转换为 .g 格式，然后才能转换为 .xml 格式。简而言之，我需要集成工具 Umbrello、UML2owfn、Petrify 和 PIPE。如何使用 Python 集成这些工具？

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

我想知道是否有任何框架或应用程序（应用程序）/程序可以分析任何 Java 代码的并发性？

如果该工具知道 jre 提供的类和方法的所有实现，那么它可以归结为对同步块和方法及其调用层次结构的简单分析。从这里它可以创建一个 petri 网，并确定您是否会遇到僵局。

我错过了什么或者这真的很容易吗？那么一定有一些很酷的工具可以做那种事情吗？或者这样的工具是否会报告由于某些底层程序/业务逻辑而完全保存的太多可能的死锁？Petri 网应该足够强大来处理这些情况吗？

这将节省大量搜索可能与死锁问题相关或无关的错误的工时。

1-谁能介绍一些现代的 Petri-net 编辑器并比较主题？

目前我正在使用 WoPeD。

2-是否有任何 UML 工具也支持 Petrinet？