问题标签 [cpn-tools]

问问题

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

14 问题
Newest
Active
Bountied
318
Unanswered
0 投票
1 回答
25 浏览

sml - cpn 工具和 sml 中的真实颜色集

我是 cpn 工具和标准 ml 语言的新手。我想在 cpn 工具中定义真正的颜色集，但它显示错误：

如何在不更改 IDE 的情况下做到这一点？感谢您的帮助。

0 投票
0 回答
8 浏览

petri-net - 我可以设置一个火规则来改变彩色培养网中令牌的颜色吗

我可以设置一个火规则来改变彩色 Petri 网中标记的颜色吗？例如，我定义：当触发转换时，颜色 A 的标记变成颜色 B。我想把这个写在我的论文里，这个规则可行吗？

0 投票
0 回答
20 浏览

modeling - 分层 Petri 网模型的 ASK-CTL 查询公式是什么？

我正在尝试检查此谓词是否在分层 Petri 网模型中成立，但出现错误。代码和错误如图所示。 ASK-CTL 查询错误

0 投票
0 回答
13 浏览

petri-net - 如何在 CPN-Tools 中创建索引整数集合？

如何创建一个索引的、易于迭代的 int Colset？

我需要通过索引将整数传递给转换函数，并且我正在考虑一些带有索引的东西，例如


12345678910