| 12345678 |
- time,model_path,transition_type,next_ta,inputs,outputs,state
- 0.000000,Top.Sender1,INIT,1.000000,none,none,Cycles: 1
- 0.000000,Top.Sender2,INIT,1.000000,none,none,Cycles: 1
- 0.000000,Top.Receiver,INIT,inf,none,none,Cycles: 1
- 1.000000,Top.Sender1,INTERNAL,inf,none,out:[42],Cycles: 0
- 1.000000,Top.Receiver,EXTERNAL,inf,"in:[42, 42]",none,Cycles: 1
- 1.000000,Top.Sender2,INTERNAL,inf,none,out:[42],Cycles: 0
|