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

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

@@ Строка 180: / Строка 180: @@
 Cal_Work3 -> Cal_Work12 [label="cal_req = 11\nlast_thread = 0"]
 Cal_Work3 -> Cal_Work11 [label="cal_req = 11\nlast_thread = 1"]
+}
+</graphviz>
+=== Подграф для LastThread ===
+<graphviz>
+digraph G {
+ratio = "auto" ;
 last_thread_RST [shape=none label=""]
-last_thread1 [label="last_thread: 1" style=bold]
+last_thread2 [label="last_thread: 2" style=bold]
+last_thread1 [label="last_thread: 1"]
 last_thread0 [label="last_thread: 0"]
-last_thread_RST -> last_thread1 [label="reset"]
+last_thread_RST -> last_thread2 [label="reset"]
-last_thread0 -> last_thread0 [label="cal_req = 01|00"]
+last_thread0 -> last_thread0 [label="cal_req = -01|-00"]
-last_thread0 -> last_thread1 [label="cal_req = 11"]
+last_thread0 -> last_thread1 [label="cal_req = -11"]
-last_thread1 -> last_thread0 [label="cal_req = 11"]
+last_thread1 -> last_thread0 [label="cal_req = -11"]
-last_thread1 -> last_thread1  [label="cal_req = 10|00"]
+last_thread1 -> last_thread1  [label="cal_req = -10|-00"]
 }