Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова
Аннотация
Построена ингибиторная сеть Петри с фиксированной структурой, которая выполняет произвольный заданный нормальный алгорифм Маркова. Алгорифм и его входная цепочка шифруются целыми неотрицательными числами и помещаются в выделенные позиции сети Петри, реализующей применение подстановок алгорифма к цепочке символов. Использованы правила кодирования последовательных, ветвящихся и циклических процессов сетями Петри. По завершении работы сети выходная цепочка восстанавливается (дешифруется) из целочисленной формы представления. В парадигме вычислений на сетях Петри построенная сеть обеспечивает совместимость систем.
Список литературы
1. Zaitsev D.A. Universal Inhibitor Petri Net // Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets. Cottbus, Germany, October 07-08. 2010. P. 1-15. (<http://CEUR-WS.org/Vol-643/>).
2. Turing A.M. On Computable Numbers with an Application to the Entscheidungsproblem // Proceedings of the London Mathematical Society. 1936. 42. P. 230-265.
3. Марков А.А. Теория алгорифмов // Тр. МИАН. 1954. 42. 375 с.
4. Зайцев Д.А. Построение сети Петри исполняющей машину Тьюринга // Материалы IV международной научно-технической конференции «Компьютерная математика в науке, инженерии и образовании» (CMSEE-2010), г. Полтава, 1-31 октября 2010 г. Киев: Изд-во НАН Украины, 2010. С. 12-14.
5. Котов В.Е. Сети Петри. М.: Наука, 1984. 160 с.
6. Слепцов А.И., Юрасов А.А. Автоматизация проектирования управляющих систем гибких автоматизированных производств / Под ред. Б.Н. Малиновского. Киев: Техшка, 1986. 160 с.
Рецензия
Для цитирования:
Зайцев Д.А. Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова. Моделирование и анализ информационных систем. 2011;18(4):80-93.
For citation:
Zaitsev D.A. Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm. Modeling and Analysis of Information Systems. 2011;18(4):80-93. (In Russ.)
Просмотров: 494
Послать статью по эл. почте 