caxapa.ru :: Да, я читал про теоретическую доказанность изоморфного отображения петри НЕТ на код. И это кто-то когда-то сделает. Но я скорее мыслю категориями практики, а не дисера по CS.

Evgeny_CD^{Архитектор} (29.10.2012 19:33, просмотров: 180) ответил ыыыы на это не только для визуализации, там некая наука о преобразовании цепей (применимо и для вырожденных случаев: графов, FSM, многозадачности), то есть можно записать (не плэйнЦ, а алгеброй) эту Петри нет, а потом применять к ней всякие операторы и

Да, я читал про теоретическую доказанность изоморфного отображения петри НЕТ на код. И это кто-то когда-то сделает. Но я скорее мыслю категориями практики, а не дисера по CS.

Ответить

Средства и методы разработки