The 23 reference contexts in paper Igor Fedorov G., Игорь Фёдоров Григорьевич (2016) “МЕТОД ОТОБРАЖЕНИЯ ИСПОЛНЯЕМОЙ МОДЕЛИ БИЗНЕС-ПРОЦЕССА В СЕТИ ПЕТРИ // METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS” / spz:neicon:statecon:y:2013:i:4:p:178-183

  1. Start
    2308
    Prefix
    Вопросы анализа бездефектного завершения является очень актуальным, поскольку сложность моделей постоянно возрастает, а встроенные в среду моделирования средства проверки пока являются далеко не совершенными. Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами
    Exact
    [1]
    Suffix
    . Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса, [2], [3], [4], [5], [6], используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами.
    (check this in PDF content)

  2. Start
    2395
    Prefix
    Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами [1]. Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса,
    Exact
    [2]
    Suffix
    , [3], [4], [5], [6], используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами. Базовые концепции этих работ формировались, когда на рынке доминировали системы управления потоком работ.
    (check this in PDF content)

  3. Start
    2400
    Prefix
    Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами [1]. Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса, [2],
    Exact
    [3]
    Suffix
    , [4], [5], [6], используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами. Базовые концепции этих работ формировались, когда на рынке доминировали системы управления потоком работ.
    (check this in PDF content)

  4. Start
    2405
    Prefix
    Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами [1]. Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса, [2], [3],
    Exact
    [4]
    Suffix
    , [5], [6], используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами. Базовые концепции этих работ формировались, когда на рынке доминировали системы управления потоком работ.
    (check this in PDF content)

  5. Start
    2410
    Prefix
    Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами [1]. Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса, [2], [3], [4],
    Exact
    [5]
    Suffix
    , [6], используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами. Базовые концепции этих работ формировались, когда на рынке доминировали системы управления потоком работ.
    (check this in PDF content)

  6. Start
    2415
    Prefix
    Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами [1]. Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса, [2], [3], [4], [5],
    Exact
    [6]
    Suffix
    , используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами. Базовые концепции этих работ формировались, когда на рынке доминировали системы управления потоком работ.
    (check this in PDF content)

  7. Start
    9146
    Prefix
    Если же в каждой позиции может одновременно располагаться не более одного маркера, сеть называется 1-ограниченной или безопасной. Сеть называется вполне завершаемой, если всякий раз, когда ее выполнение завершается: (1) маркер достигает позиции, обозначенной как конечная, (2) в сети не остается других маркеров
    Exact
    [7]
    Suffix
    . 3. Поведенческие и структурные свойства сетей Петри Различают поведенческие и структурные свойства СП [8]. Свойство называют поведенческим, если оно справедливо при определенной начальной маркировки сети.
    (check this in PDF content)

  8. Start
    9252
    Prefix
    Сеть называется вполне завершаемой, если всякий раз, когда ее выполнение завершается: (1) маркер достигает позиции, обозначенной как конечная, (2) в сети не остается других маркеров [7]. 3. Поведенческие и структурные свойства сетей Петри Различают поведенческие и структурные свойства СП
    Exact
    [8]
    Suffix
    . Свойство называют поведенческим, если оно справедливо при определенной начальной маркировки сети. Одноименное свойство называют структурным, если оно справедливо для любой допустимой маркировки сети.
    (check this in PDF content)

  9. Start
    9989
    Prefix
    Алгоритмы построения графа достижимости известны, однако трудоемкость их построения растет в экспоненциально относительно числа позиций сети. Структурные свойства проверяются с применением матричных методов с использованием матрицы инцидентности, путем поиска неотрицательных P- и T-инвариантов
    Exact
    [8]
    Suffix
    . В большинстве работ предполагается анализ поведенческих свойств модели. Например, свойства живости и безопасности, являются поведенческими. Это накладывает на способы отображения исходного процесса в СП требование поведенческой эквивалентности.
    (check this in PDF content)

  10. Start
    10250
    Prefix
    В большинстве работ предполагается анализ поведенческих свойств модели. Например, свойства живости и безопасности, являются поведенческими. Это накладывает на способы отображения исходного процесса в СП требование поведенческой эквивалентности. В работе
    Exact
    [6]
    Suffix
    анализируются сложности, возникающие при таком отображении. К сожалению, таким образом, удается отобразить в СП только набор элементов, соответствующий предыдущей версии BPMN 1.0. Однако возникает вопрос о целесообразности поведенческого моделирования процесса в нотации BPMN с помощью СП.
    (check this in PDF content)

  11. Start
    11684
    Prefix
    Отображение модели процесса в нотации BPMN в сеть Петри Нотация BPMN применяется для разработки исполняемой модели процесса. Она включает богатый набор элементов для описания процессов разных типов, но мы рассмотрим только их ограниченное подмножество, используемое для моделирования процессов оркестровки
    Exact
    [9]
    Suffix
    . В качестве узлов на диаграмме выступают объекты потока управления, включающие: операции, логические операторы и события. Отображение основных конструкций BPMN на СП иллюстрирует Рисунок 3 [6].
    (check this in PDF content)

  12. Start
    11879
    Prefix
    Она включает богатый набор элементов для описания процессов разных типов, но мы рассмотрим только их ограниченное подмножество, используемое для моделирования процессов оркестровки [9]. В качестве узлов на диаграмме выступают объекты потока управления, включающие: операции, логические операторы и события. Отображение основных конструкций BPMN на СП иллюстрирует Рисунок 3
    Exact
    [6]
    Suffix
    . Отличие предлагаемого подхода в том, что бы отказаться от поведенческой эквивалентности, это позволит упростить метод отображения. Договоримся различать узлы, которые производят изменение объекта управления, приводящее к смене его состояния и узлы, которые его не меняют а маршрутизируют.
    (check this in PDF content)

  13. Start
    22672
    Prefix
    для моделирования бизнес-процесса, является сетью свободного выбора, у которой каждая дуга, выходящая из позиции, является либо единственным выходом из нее, либо единственным входом в следующий за ней переход (мы будем рассматривать сеть свободного выбора в наиболее строгой формулировке, соответственно результат окажется справедлив для расширенного класса сетей свободного выбора (EFC)
    Exact
    [10]
    Suffix
    ). Рассмотрим пример (Рисунок 6 А). Нотация BPMN допускает «сокращенную» форму записи ветвления «ИЛИ» и слияния «И» без использования логических операторов. Эквивалентная BPMN схема, показывающая логические операторы ветвления и слияния, изображена на рисунке Б.
    (check this in PDF content)

  14. Start
    23526
    Prefix
    Некоторые авторы не разделяют переходы, соответствующие операциям и логическим элементам, при этом редуцируют сеть так, что полученная сеть не соответствует критериям свободного выбора (рисунок Г). Следует помнить, что не все правила редукции сохраняют структурные свойства, поэтому не применимы к данной ситуации
    Exact
    [10]
    Suffix
    . Докажем важное свойство бизнес-процессов - одно инициирующее стартовое событие создает ровно один отклик на его выходе. Будем иметь в виду, каждый результат на выходе бизнес-процесса д.б. индивидуально идентифицируем, так что бы было возможно посчитать результативность процесса за определенный интервал времени [11].
    (check this in PDF content)

  15. Start
    23845
    Prefix
    Докажем важное свойство бизнес-процессов - одно инициирующее стартовое событие создает ровно один отклик на его выходе. Будем иметь в виду, каждый результат на выходе бизнес-процесса д.б. индивидуально идентифицируем, так что бы было возможно посчитать результативность процесса за определенный интервал времени
    Exact
    [11]
    Suffix
    . Если предположить, что одно входное воздействие может сгенерировать несколько выходных, то следует допустить, что их число может оказаться неисчислимо большим. Но это противоречит требованию счетности результата.
    (check this in PDF content)

  16. Start
    25507
    Prefix
    Первый из них инициирует старт процесса, а остальные не должны оказать влияние на стартовавший ранее экземпляр процесса. Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств
    Exact
    [10]
    Suffix
    . 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри [2], [3], [4], [5], [6], присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм.
    (check this in PDF content)

  17. Start
    25629
    Prefix
    Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств [10]. 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри
    Exact
    [2]
    Suffix
    , [3], [4], [5], [6], присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм. С одной стороны, справедливо утверждается, что не надо моделировать данные процесса и правила их трансформации операциями процесса, поскольку это привязывает модель к конкретным условиям эксплуатации, делает ее излишне сложной для понимания и анализа.
    (check this in PDF content)

  18. Start
    25634
    Prefix
    Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств [10]. 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри [2],
    Exact
    [3]
    Suffix
    , [4], [5], [6], присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм. С одной стороны, справедливо утверждается, что не надо моделировать данные процесса и правила их трансформации операциями процесса, поскольку это привязывает модель к конкретным условиям эксплуатации, делает ее излишне сложной для понимания и анализа.
    (check this in PDF content)

  19. Start
    25640
    Prefix
    Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств [10]. 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри [2], [3],
    Exact
    [4]
    Suffix
    , [5], [6], присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм. С одной стороны, справедливо утверждается, что не надо моделировать данные процесса и правила их трансформации операциями процесса, поскольку это привязывает модель к конкретным условиям эксплуатации, делает ее излишне сложной для понимания и анализа.
    (check this in PDF content)

  20. Start
    25644
    Prefix
    Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств [10]. 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри [2], [3], [4],
    Exact
    [5]
    Suffix
    , [6], присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм. С одной стороны, справедливо утверждается, что не надо моделировать данные процесса и правила их трансформации операциями процесса, поскольку это привязывает модель к конкретным условиям эксплуатации, делает ее излишне сложной для понимания и анализа.
    (check this in PDF content)

  21. Start
    25649
    Prefix
    Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств [10]. 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри [2], [3], [4], [5],
    Exact
    [6]
    Suffix
    , присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм. С одной стороны, справедливо утверждается, что не надо моделировать данные процесса и правила их трансформации операциями процесса, поскольку это привязывает модель к конкретным условиям эксплуатации, делает ее излишне сложной для понимания и анализа.
    (check this in PDF content)

  22. Start
    27094
    Prefix
    Изменение способа отображения заставляет обратить внимание на правила редукции СП. Поскольку в выполненных ранее работах предполагалось проверять живость и безопасность сети, применялись правила редукции, обеспечивающие сохранение этих свойств
    Exact
    [8]
    Suffix
    . Однако такая редукция изменяет структурные свойства сети [10]. В проводимых рассуждениях мы не объединяли переходы, отображающие работу процесса и используемые в логических операторах и, таким образом сохранили структуру неизменной.
    (check this in PDF content)

  23. Start
    27156
    Prefix
    Поскольку в выполненных ранее работах предполагалось проверять живость и безопасность сети, применялись правила редукции, обеспечивающие сохранение этих свойств [8]. Однако такая редукция изменяет структурные свойства сети
    Exact
    [10]
    Suffix
    . В проводимых рассуждениях мы не объединяли переходы, отображающие работу процесса и используемые в логических операторах и, таким образом сохранили структуру неизменной. С учетом замечаний о правилах редукции, удалось обосновать важные свойства сети Петри.
    (check this in PDF content)