Пример взаимодействующих автоматов — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) м (→Расширенный вариант графа переходов) |
ANA (обсуждение | вклад) м (→Расширенный вариант графа переходов) |
||
| Строка 47: | Строка 47: | ||
== Расширенный вариант графа переходов == | == Расширенный вариант графа переходов == | ||
| + | |||
| + | <graphviz> | ||
| + | digraph G { | ||
| + | ratio = "auto" ; | ||
| + | Cal_Free [label="CalFree: 0001\n cal_ready = 11\n last_thread = 1|0" style=bold] | ||
| + | Cal_RST [shape=none label=""] | ||
| + | { rank=same | ||
| + | Cal_Work11 [label="CalWork_11: 0010\n cal_ready = 10\n last_thread = 0"] | ||
| + | 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"] | ||
| + | Cal_Work3 [label="CalWork_3: 1000\n cal_ready = 01|10\n last_thread = 1|0"] | ||
| + | |||
| + | Cal_RST -> Cal_Free [label="reset"] | ||
| + | |||
| + | Cal_Free -> Cal_Work11 [label="cal_req = 11\nlast_thread = 1"] | ||
| + | Cal_Free -> Cal_Work12 [label="cal_req = 11\nlast_thread = 0"] | ||
| + | Cal_Free -> Cal_Work12 [label="cal_req = 10\nlast_thread = 0|1"] | ||
| + | Cal_Free -> Cal_Work11 [label="cal_req = 01\nlast_thread = 0|1"] | ||
| + | |||
| + | Cal_Work11 -> Cal_Work2 | ||
| + | Cal_Work12 -> Cal_Work2 | ||
| + | |||
| + | Cal_Work2 -> Cal_Work3 | ||
| + | |||
| + | 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_Work3 -> Cal_Work11 [label="cal_req = 11\nlast_thread = 1"] | ||
| + | |||
| + | last_thread_RST [shape=none label=""] | ||
| + | last_thread1 [label="last_thread: 1" style=bold] | ||
| + | last_thread0 [label="last_thread: 0"] | ||
| + | |||
| + | last_thread_RST -> last_thread1 [label="reset"] | ||
| + | |||
| + | last_thread0 -> last_thread0 [label="cal_req = 01|00"] | ||
| + | last_thread0 -> last_thread1 [label="cal_req = 11"] | ||
| + | last_thread1 -> last_thread0 [label="cal_req = 11"] | ||
| + | last_thread1 -> last_thread1 [label="cal_req = 10|00"] | ||
| + | |||
| + | } | ||
| + | </graphviz> | ||
| + | |||
| + | == Очень Расширенный вариант графа переходов == | ||
<graphviz> | <graphviz> | ||
Версия 19:24, 22 сентября 2017
Расширенный вариант графа переходов
Очень Расширенный вариант графа переходов
