为什么UPPAAL编译器在模板部分中声明通道时不会抛出错误？ 如果我做对了，没有其他模板可以访问这些频道，因此频道声明在整个声明部分中才有意义。 或者我忽略了什么？
谢谢！
PS我想通过同步通道建模“内部”模板通信，并希望在模板中声明通道可能是一个解决方案。上面的问题似乎更容易构成并回答：）
答案 0 :(得分：0)
您可以在本地拥有urgent broadcast chan ASAP并强制执行紧急转换，而无需与任何内容同步。
至于＆＃34;内部＆＃34;您可以通过将通道引用作为参数传递来共享特定通道，并仅使用系统声明部分中的通道声明。