uppaal - 如何让所有的接收！Uppaal 的边缘接收频道？立刻

Question

我有一个有 5 个进程的系统。其中一个进程发送信号1！到3个进程（即3个进程接收信号1？）。但是当我只模拟 3 个接收进程中的一个接收到 signal1 时。如何让所有 3 个同时接收到这个信号 1？

Answer 1

通过声明broadcast chan channel1每次发送channel1，其他系统中可以接收到它的所有转换都会同时接收到它。