templates - UPPAAL 中的通道声明

Question

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

谢谢！

PS我想通过同步通道对“内部”模板通信进行建模，并希望在模板中声明一个通道可能是一种解决方案。上面的问题似乎更容易提出和回答:)

Answer 1

您可以在urgent broadcast chan ASAP本地进行并强制进行紧急转换，而无需与任何东西同步。

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