petri-net

3热度

1回答

当我们编写有色Petri网（CP-Net）时，我们可以在声明部分使用java代码，就像PNML中的以下示例一样，或者我们必须考虑标准这部分呢？以下示例是一种XML表示形式，但是我们可以使用相同的方式在pnml中表示它吗？如果不是，你能帮我吗我们该怎么做？感谢， <?xml version="1.0" encoding="UTF-8" standalone="no"?> <pnml>

0热度

1回答

比较具有不同结构的两个列表

我想在使用SML的CPN工具中执行模式匹配功能。我已经定义了一个色彩集EVENT：colset EVENT = product EVENTTYPE * EVENTTIME timed; 当比较列表时，我只对事件类型感兴趣，所以我试图比较[a,b]到[ (a,0), (b,1) ]到 - 所以我写了下面的SML-函数，比较两个列表： fun pattern_match _ [] = true

2热度

2回答

是否有一个既有状态又有活动的标准图类型？

我知道一个UML活动图描述了一种算法，因此从某种意义上说它是现代版本的流程图，而UML状态图则显示了一个对象或系统可以找到的所有可能（或有趣）的状态，显示了这些州之间所有可能的转换。我也明白它们是正交模型：连接状态图中两个状态的箭头代表一个算法或一个活动图;并且活动图的两个活动之间的一些（如果不是全部的话）箭头表示对象在连续动作之间发现的状态。是否存在标准图类型（UML或其他传统），它为两个操作

1热度

1回答

如何使用PNML框架来解析pnml文件？

我试图找到如何使用PNML Framework http://pnml.lip6.fr/index.html解析pnml文件，但我没有找到任何有用的信息，你能帮助我吗？

-1热度

1回答

将Petri网生成为SVG的工具

我被要求构建Petri网引擎以用作工作中内部工作流的基础。到目前为止，我已经能够生成所有的逻辑和行为（我已经创建了一个“服务台”类型的工作流来测试规则和条件），并且它一切正常。然而，事实证明这有点痛苦，那就是使Petri网可视化并使这种可视化自动化。我一直在考虑看看SVG拉图程序，如： http://flowchart.js.org（流程图） https://bramp.github.io/

0热度

1回答

Petri网有界性

我想问一下Petri网（PN）的有界性。当我有一个国家s1 = (2 0 0)然后我找到状态s2 = (2 0 1)，因为s1 < s2我可以宣布PN没有界限？因为当我有这个PN： PN是有界的，但你可以找到那里（2 0 0）<（2 0 1）。所以我的问题是。我错了Petri网的有界性，还是图片上的PT出了问题？

0热度

1回答

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

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

4热度

3回答

并发代码分析器

我想知道是否有任何框架或应用程序/程序可以分析任何Java代码的并发性？如果该工具知道jre发布的所有类和方法的实现，那么它归结为对同步块和方法及其调用层次结构的简单分析。从这里可以创建一个Petri网，并且可以肯定地告诉你，如果你能经历一个僵局。我错过了什么，或者这真的很容易？那么必须有一些很酷的工具来做这种事情？或者，这样的工具是否会报告由于一些潜在的程序/业务逻辑而完全保存的可能的死锁？

3热度

4回答

Petri-net编辑器

1-任何人都可以引入一些现代Petri-net编辑器并比较主题吗？当前我正在使用WoPeD。 2-是否有任何支持Petrinet的UML工具？

0热度

1回答

创建具有随机值的令牌

在下面显示的petrinet中，由于rand（）函数似乎不起作用，因此在创建具有随机值的令牌input2时存在问题。有没有其他方法可以做到这一点？