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

@@ Строка 102: / Строка 102: @@
 Cal_Work12 [label="CalWork_12: 0010\n cal_ready = 01\n last_thread = 1"]
 }
-Cal_Work2 [label="CalWork_2: 0100\n cal_ready = 01|10\n last_thread = 1|0"]
+{ rank=same
-Cal_Work3 [label="CalWork_3: 1000\n cal_ready = 01|10\n last_thread = 1|0"]
+Cal_Work21 [label="CalWork_21: 0100\n cal_ready = 01\n last_thread = 1"]
+Cal_Work22 [label="CalWork_22: 0100\n cal_ready = 10\n last_thread = 0"]
+}
+{ rank=same
+Cal_Work31 [label="CalWork_31: 1000\n cal_ready = 01\n last_thread = 1"]
+Cal_Work32 [label="CalWork_32: 1000\n cal_ready = 10\n last_thread = 0"]
+}
 Cal_RST -> Cal_Free [label="reset"]
@@ Строка 112: / Строка 117: @@
 Cal_Free -> Cal_Work11 [label="cal_req = 01\nlast_thread = 0|1"]
-Cal_Work11 -> Cal_Work2
+Cal_Work11 -> Cal_Work22
-Cal_Work12 -> Cal_Work2
+Cal_Work12 -> Cal_Work21
+Cal_Work21 -> Cal_Work31
+Cal_Work22 -> Cal_Work32
-Cal_Work2 -> Cal_Work3
+Cal_Work31 -> Cal_Free [label="cal_req = 00|10"]
+Cal_Work32 -> Cal_Free [label="cal_req = 00|01"]
-Cal_Work3 -> Cal_Free [label="cal_req = 00"]
 Cal_Free -> Cal_Free [label="cal_req = 00"]
-Cal_Work3 -> Cal_Work12 [label="cal_req = 11\nlast_thread = 0"]
+Cal_Work32 -> Cal_Work12 [label="cal_req = 11\nlast_thread = 0"]
-Cal_Work3 -> Cal_Work11 [label="cal_req = 11\nlast_thread = 1"]
+Cal_Work31 -> Cal_Work11 [label="cal_req = 11\nlast_thread = 1"]
 last_thread_RST [shape=none label=""]

Версия 19:32, 22 сентября 2017