UPPAAL 中的通道声明

Question

当我在模板部分中声明频道时，为什么 UPPAAL 编译器没有抛出错误？ 如果我做对了，没有其他模板可以访问这些通道，因此通道声明只在整个声明部分才有意义。 还是我忽略了什么？

谢谢！

PS 我想通过同步通道模拟 "internal" 模板通信，并希望在模板中声明一个通道可能是一个解决方案。上面的问题似乎更容易提出和回答:)

Answer 1

您可以在本地 urgent broadcast chan ASAP 并在不与任何内容同步的情况下强制进行紧急转换。

对于 "internal" 通信，您可以通过将频道引用作为参数传递并仅使用系统声明部分中的频道声明来共享特定频道。