ыыыы (29.10.2012 19:00, просмотров: 1) ответил Evgeny_CD на Да уж который раз мне дают ссылку на эти Petri Net, вопрос в том, где тулзы Petri Net -> Plain C?
это не только для визуализации, там некая наука о преобразовании цепей (применимо и для вырожденных случаев: графов, FSM, многозадачности), то есть можно записать (не плэйнЦ, а алгеброй) эту Петри нет, а потом применять к ней всякие операторы и т.п. с целью оптимизации/упрощения. ну а сгенерить по результатам имплементацию - типа FSM в виде if-elseif- или многозадачный дата-флоу с семафорами, вобщем-то несложно, но, наверно, никто не ставил общих задач. а в частных решениях (типа оптимизация DAG в компиляторах), наверняка вовсю используется. есть очень годная статья с введением (ссылка в вики). я к этому прикоснулся, когда само-синхронные схемы разбирал