<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">mais</journal-id><journal-title-group><journal-title xml:lang="ru">Моделирование и анализ информационных систем</journal-title><trans-title-group xml:lang="en"><trans-title>Modeling and Analysis of Information Systems</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1818-1015</issn><issn pub-type="epub">2313-5417</issn><publisher><publisher-name>Yaroslavl State University</publisher-name></publisher></journal-meta><article-meta><article-id custom-type="elpub" pub-id-type="custom">mais-1100</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Оригинальные статьи</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>Articles</subject></subj-group></article-categories><title-group><article-title>Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова</article-title><trans-title-group xml:lang="en"><trans-title>Inhibitor Petri Net that Executes an Arbitrary Given Markov
Normal Algorithm</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Зайцев</surname><given-names>Дмитрий Анатольевич</given-names></name><name name-style="western" xml:lang="en"><surname>Zaitsev</surname><given-names>D. A.</given-names></name></name-alternatives><email xlink:type="simple">zsoftua@yahoo.com</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff xml:lang="ru" id="aff-1"><institution>Международный гуманитарный университет</institution><country>Russian Federation</country></aff><pub-date pub-type="collection"><year>2011</year></pub-date><pub-date pub-type="epub"><day>20</day><month>12</month><year>2011</year></pub-date><volume>18</volume><issue>4</issue><fpage>80</fpage><lpage>93</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Зайцев Д.А., 2011</copyright-statement><copyright-year>2011</copyright-year><copyright-holder xml:lang="ru">Зайцев Д.А.</copyright-holder><copyright-holder xml:lang="en">Zaitsev D.A.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.mais-journal.ru/jour/article/view/1100">https://www.mais-journal.ru/jour/article/view/1100</self-uri><abstract><p>Построена ингибиторная сеть Петри с фиксированной структурой, которая выполняет произвольный заданный нормальный алгорифм Маркова. Алгорифм и его входная цепочка шифруются целыми неотрицательными числами и помещаются в выделенные позиции сети Петри, реализующей применение подстановок алгорифма к цепочке символов. Использованы правила кодирования последовательных, ветвящихся и циклических процессов сетями Петри. По завершении работы сети выходная цепочка восстанавливается (дешифруется) из целочисленной формы представления. В парадигме вычислений на сетях Петри построенная сеть обеспечивает совместимость систем.</p></abstract><trans-abstract xml:lang="en"><p>The inhibitor Petri net with a fixed structure that executes an arbitrary given Markov normal algorithm was constructed. The algorithm and its input string are encoded by nonnegative integer numbers and put into dedicated places of the Petri net which implements the application of algorithm productions over the string of symbols. The rules of the sequential, branching and cyclic processes encoding by Petri nets were used. At the completion of the net work, the output string is restored (decoded) from the integer form of representation. Within the paradigm of computations on Petri nets the net built provides the compatibility of systems.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>нормальный алгорифм Маркова</kwd><kwd>ингибиторная сеть Петри</kwd><kwd>кодирование</kwd><kwd>шифр</kwd></kwd-group><kwd-group xml:lang="en"><kwd>normal algorithm of Markov</kwd><kwd>inhibitor Petri net</kwd><kwd>encoding</kwd><kwd>cipher</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">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. (&lt;http://CEUR-WS.org/Vol-643/&gt;).</mixed-citation><mixed-citation xml:lang="en">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. (&lt;http://CEUR-WS.org/Vol-643/&gt;).</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Turing A.M. On Computable Numbers with an Application to the Entscheidungsproblem // Proceedings of the London Mathematical Society. 1936. 42. P. 230-265.</mixed-citation><mixed-citation xml:lang="en">Turing A.M. On Computable Numbers with an Application to the Entscheidungsproblem // Proceedings of the London Mathematical Society. 1936. 42. P. 230-265.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Марков А.А. Теория алгорифмов // Тр. МИАН. 1954. 42. 375 с.</mixed-citation><mixed-citation xml:lang="en">Марков А.А. Теория алгорифмов // Тр. МИАН. 1954. 42. 375 с.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Зайцев Д.А. Построение сети Петри исполняющей машину Тьюринга // Материалы IV международной научно-технической конференции «Компьютерная математика в науке, инженерии и образовании» (CMSEE-2010), г. Полтава, 1-31 октября 2010 г. Киев: Изд-во НАН Украины, 2010. С. 12-14.</mixed-citation><mixed-citation xml:lang="en">Зайцев Д.А. Построение сети Петри исполняющей машину Тьюринга // Материалы IV международной научно-технической конференции «Компьютерная математика в науке, инженерии и образовании» (CMSEE-2010), г. Полтава, 1-31 октября 2010 г. Киев: Изд-во НАН Украины, 2010. С. 12-14.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Котов В.Е. Сети Петри. М.: Наука, 1984. 160 с.</mixed-citation><mixed-citation xml:lang="en">Котов В.Е. Сети Петри. М.: Наука, 1984. 160 с.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Слепцов А.И., Юрасов А.А. Автоматизация проектирования управляющих систем гибких автоматизированных производств / Под ред. Б.Н. Малиновского. Киев: Техшка, 1986. 160 с.</mixed-citation><mixed-citation xml:lang="en">Слепцов А.И., Юрасов А.А. Автоматизация проектирования управляющих систем гибких автоматизированных производств / Под ред. Б.Н. Малиновского. Киев: Техшка, 1986. 160 с.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
