Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Среда
14 мая
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
Средства и методы разработки
364927
Топик полностью
ыыыы
(29.10.2012 16:39, просмотров: 1)
ответил
Evgeny_CD
на
На самом деле от графовой БД до всех моих супермегатулзов, которыми я тут моск ипу уже 6 или 7 лет, полшага.
я полагаю :) Petri Net спасут гиганта мысли, ну или дадут пищу для размышления :). а тамошние (и даже азиацкие) CS студни это учат в институтах...
http://en.wikipedia.org/wiki/Petri_net
Да уж который раз мне дают ссылку на эти Petri Net, вопрос в том, где тулзы Petri Net -> Plain C?
-
Evgeny_CD
(29.10.2012 16:56
)
это не только для визуализации, там некая наука о преобразовании цепей (применимо и для вырожденных случаев: графов, FSM, многозадачности), то есть можно записать (не плэйнЦ, а алгеброй) эту Петри нет, а потом применять к ней всякие операторы и
ыыыы
(417 знак., 29.10.2012 19:00
,
)
Да, я читал про теоретическую доказанность изоморфного отображения петри НЕТ на код. И это кто-то когда-то сделает. Но я скорее мыслю категориями практики, а не дисера по CS.
-
Evgeny_CD
(29.10.2012 19:33
)
как FSM-ы, так и графы являются частными случаями (это если лень википедию читать)
-
ыыыы
(29.10.2012 16:43
,
)