Пример взаимодействующих автоматов — различия между версиями

Версия 13:22, 19 ноября 2017

@@ Строка 197: / Строка 197: @@
 last_thread_RST -> last_thread2 [label="reset"]
-last_thread0 -> last_thread0 [label="cal_req = -01|-00"]
+last_thread0 -> last_thread0 [label="cal_req = 001|000"]
-last_thread0 -> last_thread1 [label="cal_req = -11"]
+last_thread0 -> last_thread1 [label="cal_req = -1-"]
-last_thread1 -> last_thread0 [label="cal_req = -11"]
+last_thread0 -> last_thread2 [label="cal_req = 10-"]
-last_thread1 -> last_thread1  [label="cal_req = -10|-00"]
+last_thread1 -> last_thread0 [label="cal_req = 011"]
+last_thread1 -> last_thread1  [label="cal_req = 010|000"]
+last_thread1 -> last_thread2  [label="cal_req = 1--"]
+last_thread2 -> last_thread0 [label="cal_req = --1"]
+last_thread2 -> last_thread1 [label="cal_req = 010"]
+last_thread2 -> last_thread2 [label="cal_req = 100|000"]
 }