<?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-1026</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>An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas</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>Dorrer</surname><given-names>M. G.</given-names></name></name-alternatives><email xlink:type="simple">mdorrer@mail.ru</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>2010</year></pub-date><pub-date pub-type="epub"><day>20</day><month>06</month><year>2010</year></pub-date><volume>17</volume><issue>2</issue><fpage>5</fpage><lpage>16</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Доррер М.Г., 2010</copyright-statement><copyright-year>2010</copyright-year><copyright-holder xml:lang="ru">Доррер М.Г.</copyright-holder><copyright-holder xml:lang="en">Dorrer M.G.</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/1026">https://www.mais-journal.ru/jour/article/view/1026</self-uri><abstract><p>Предлагается алгоритм, позволяющий однозначно преобразовывать событийную модель бизнес-процесса в формате ARIS EPC в одноцветную сеть Петри. Полученное в результате преобразования матричное представление се¬ти Петри дает возможность исследовать топологию бизнес-процесса, находить циклы и тупики. Кроме того, матричное описание сети Петри позволяет находить инварианты сети и тем самым решать задачу нахождения всех вариантов развития бизнес-процесса.</p></abstract><trans-abstract xml:lang="en"><p>A mechanism allowing the unique conversion of an event-based business process model of the ARIS EPC format into a monochrome Petri net is suggested. The Petri net ma¬trix representation resulting from this conversion allows investigating a business process topology and finding cycles and dead-ends. Moreover the Petri net matrix representation allows finding net invariants thus solving a task of finding all the business process development variants.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>бизнес-процесс</kwd><kwd>сеть Петри</kwd><kwd>инвариант</kwd></kwd-group><kwd-group xml:lang="en"><kwd>business-process</kwd><kwd>Petri net</kwd><kwd>invariant</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">http://wiki.daimi.au.dk/cpntools/cpntools.wiki</mixed-citation><mixed-citation xml:lang="en">http://wiki.daimi.au.dk/cpntools/cpntools.wiki</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Jensen K. Coloured Petri nets: Basic concepts, analysis methods and practical use. Vol. 1. Basic concepts. Berlin a. o.: Springer-Verlag, 1996.</mixed-citation><mixed-citation xml:lang="en">Jensen K. Coloured Petri nets: Basic concepts, analysis methods and practical use. Vol. 1. Basic concepts. Berlin a. o.: Springer-Verlag, 1996.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Аалст Вил ван дер, Хей Кейс ван. Управление потоками работ: модели, методы и системы. М.: Физматлит, 2007.</mixed-citation><mixed-citation xml:lang="en">Аалст Вил ван дер, Хей Кейс ван. Управление потоками работ: модели, методы и системы. М.: Физматлит, 2007.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Доррер Г.А. Исследование и проектирование региональных информационно-телекоммуникационных систем на основе имитационного моделирования // Вестник СибГТУ. 1999, №1. С. 146-159.</mixed-citation><mixed-citation xml:lang="en">Доррер Г.А. Исследование и проектирование региональных информационно-телекоммуникационных систем на основе имитационного моделирования // Вестник СибГТУ. 1999, №1. С. 146-159.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Доррер М.Г., Курохтин В.В. Решение задачи прямого и обратного преобразо¬вания между цветной сетью Петри и моделью бизнес-процессов // Вестник Сибирского Государственного Аэрокосмического Университета. Красноярск: СибГАУ, 2006. Выпуск 5. С. 83-87.</mixed-citation><mixed-citation xml:lang="en">Доррер М.Г., Курохтин В.В. Решение задачи прямого и обратного преобразо¬вания между цветной сетью Петри и моделью бизнес-процессов // Вестник Сибирского Государственного Аэрокосмического Университета. Красноярск: СибГАУ, 2006. Выпуск 5. С. 83-87.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Калянов Г.Н. Теория и практика реорганизации бизнес-процессов. М.: СИНТЕГ, 2000.</mixed-citation><mixed-citation xml:lang="en">Калянов Г.Н. Теория и практика реорганизации бизнес-процессов. М.: СИНТЕГ, 2000.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Каменнова М., Громов А., Ферапонтов М., Шматалюк А. Моделирова¬ние бизнеса. Методология ARIS: Практическое руководство. М.: Весть-Метатехнология, 2001.</mixed-citation><mixed-citation xml:lang="en">Каменнова М., Громов А., Ферапонтов М., Шматалюк А. Моделирова¬ние бизнеса. Методология ARIS: Практическое руководство. М.: Весть-Метатехнология, 2001.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Котов В.Е. Сети Петри. М.: Наука, 1984.</mixed-citation><mixed-citation xml:lang="en">Котов В.Е. Сети Петри. М.: Наука, 1984.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Шеер А.В. Бизнес-процессы. Основные понятия. Теория. Методы: Пер. с англ. 2-е изд., испр. и доп. М.: Просветитель, 1999.</mixed-citation><mixed-citation xml:lang="en">Шеер А.В. Бизнес-процессы. Основные понятия. Теория. Методы: Пер. с англ. 2-е изд., испр. и доп. М.: Просветитель, 1999.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Шеер А.В.. Моделирование бизнес-процессов: Пер. с англ. 2-е изд., испр. и доп. М.: Серебряные нити, 2000.</mixed-citation><mixed-citation xml:lang="en">Шеер А.В.. Моделирование бизнес-процессов: Пер. с англ. 2-е изд., испр. и доп. М.: Серебряные нити, 2000.</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>
