[tlaplus] Is it possible to create two separate channels so that they can run separately according to their respective heartbeat timing

[nic zhang <13951023721@xxxxxxx>]

Dear all,

     

       I'm creating a system with two heartbeat channels, and I want them to run independently of each other  according to their heartbeat signals. 

       The two heartbeat channels do not interfere with each other, but in the toolbox, all states occur sequentially.

        So I am wondering is it possible to create two separate channels  so that they can run separately according to their respective heartbeat timing.

        

           Looking forward to geting help from you. Thanks a lot.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/ac35b148-1a66-417c-97ee-38d69a978513o%40googlegroups.com.