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

@@ Строка 12: / Строка 12: @@
 Free [label="Free: 00\n cal_req <= '0'\n ready <= '1'"]
-P0_Free -> P0_Wait [label=1]
+Cal_Work3 [label="CalWork: 1000\n cal_ready = 01|10"]
-P0_Work -> P0_Wait [label=1]
+Cal_Work2 [label="CalWork: 0100\n cal_ready = 01|10"]
-P0_Work -> P0_Free [label=1]
+Cal_Work1 [label="CalWork: 0010\n cal_ready = 01|10"]
+Cal_Free [label="CalFree: 0001\n cal_ready = 11"]
+Cal_Free -> Cal_Work1 [label="cal_req = 01|10|11"]
+Cal_Work1 -> Cal_Work2
+Cal_Work2 -> Cal_Work3
+Cal_Work3 -> Cal_Free
+Cal_Free -> Cal_Free
 }
 </graphviz>

Версия 03:37, 21 сентября 2017