I have a system with 5 processes. One of the processes sends signal1! to 3 processes(That is the 3processes receive signal1?). But when I simulate only one of the 3 receiving processes received signal1. How do I make all the 3 receive this signal1 at the same time?
Asked
Active
Viewed 176 times
0
-
Have you tried declaring your channels of type "broadcast chan"? – mariusm Apr 17 '19 at 04:32
-
Yes. still did not work. – user993257 Apr 17 '19 at 09:32
-
Another issue, I don't know if this has anything to do with why all the receiving edges are not receiving signal. The clock time in Uppaal, How do I read it. I declare a clock x for instance, Can I see the way the time progresses.? – user993257 Apr 17 '19 at 16:44
-
You need to rephrase your original question, it contains too many errors and misconceptions: model is one, maybe you have several processes? Sending synchronization has exclamation mark and receiving has question mark, meanwhile your text suggests the opposite. As for clock values, please read the Uppaal tutorial. – mariusm Apr 17 '19 at 18:40
-
Thank you, obviously, the mixup in my question as regards sending! and receiving? is an oversight and as regards models in place of processes in uppaal. I was expecting anyone reading to understand, processes make up a system in uppaal while in many domains like mine models make up a system. Thank you – user993257 Apr 18 '19 at 13:34
