Preview

Моделирование и анализ информационных систем

Расширенный поиск

Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова

Полный текст:

Аннотация

Построена ингибиторная сеть Петри с фиксированной структурой, которая выполняет произвольный заданный нормальный алгорифм Маркова. Алгорифм и его входная цепочка шифруются целыми неотрицательными числами и помещаются в выделенные позиции сети Петри, реализующей применение подстановок алгорифма к цепочке символов. Использованы правила кодирования последовательных, ветвящихся и циклических процессов сетями Петри. По завершении работы сети выходная цепочка восстанавливается (дешифруется) из целочисленной формы представления. В парадигме вычислений на сетях Петри построенная сеть обеспечивает совместимость систем.

Об авторе

Дмитрий Анатольевич Зайцев
Международный гуманитарный университет
Россия


Список литературы

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.)

Просмотров: 93


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)