标签: petri-net

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

我知道Petri网可以或多或少地用于它,但我不知道一个可以设计和模拟的好的GUI工具.

UML以任何方式可用于此类目的吗？

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

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

稍微不太理想的选择是输出一个文件,其中只有基于文本的文件中的Petri网图形的描述,采用某种开放格式,如XML或任何其他数据语言.然后我可以自己编写代码生成器,但至少我想避免gui/graph开发部分;))

谢谢

有理论上的petri网:http: //en.wikipedia.org/wiki/Petri_net

然后有工作流表示为BPMN 2.0.

究竟有什么区别？我问的原因是我们希望简化在BPMN中建模的业务流程(没有普通人关心/使用),并使其更加"一维"用于智能手机(如清单)基于图形的钩子到清单中的其他步骤.我们的企业名为Tallyfy - https://tallyfy.com

此外 - 我们想看看我们是否可以使用petri网作为在我们的应用程序中执行流程的更严格的方式

文档表明Symfony Workflow组件基于Petri网,但文档不够完整,无法确定它是否支持重新编写的路由结构(AND-split,AND-join,ORsplit和OR-join)来构建顺序,条件,并行和迭代路由.请参阅" Petri网应用于工作流管理 "中的"4.2路由构造"一章.要具体说明工作流组件的问题:如何向工作流添加条件分支？

1-有人可以介绍一些现代的 Petri-net 编辑器并比较主题吗？

目前我正在使用 WoPeD。

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

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

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

如果该工具知道jre传送的类和方法的所有实现,那么它归结为对同步块和方法及其调用层次结构的简单分析.从这里它可以创建一个petri网,并告诉你,如果你可能遇到死锁.

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

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

一位朋友刚刚向我指出了计算机科学的一项新发展，称为“基于规则的 Petri 网验证”。他不是计算机专家，而是艺术家，所以我想知道这是否真的是我必须看的很酷的东西？在电话中，他在阅读和翻译一份俄语报纸时告诉我，这项奇特的新技术就是自动使基于规则的系统的代码架构完美正确。一种帮助我们完美编码的人工智能？好吧，我真的不知道，没有学过计算机科学。

我很好奇：这到底是怎么回事？它是如何运作的？我可以将它用于我的框架吗？

我想“基于规则的系统”几乎就是一切：我们所有的代码都有规则。希望得到一些有用的答案。