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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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