The 11 references with 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
Silver B. // BPMS Watch.
Total in-text references: 1
  1. In-text reference with the coordinate start=2309
    Prefix
    Вопросы анализа бездефектного завершения является очень актуальным, поскольку сложность моделей постоянно возрастает, а встроенные в среду моделирования средства проверки пока являются далеко не совершенными. Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами
    Exact
    [1]
    Suffix
    . Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса, [2], [3], [4], [5], [6], используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами.

2
06. URL: http://brsilver.com/whats-wrongwith-this-picture-part-3/ 2. van der Aalst W. van Hee K. ter Hofstede A.Sidorova N. Verbeek H. Voorhoeve M. W.M., "Soundness of Workflow Nets: Classification, Decidability, and Analysis," Formal Aspects of Computing, Vol. Volume 23, No. Issue
Total in-text references: 2
  1. In-text reference with the coordinate start=2396
    Prefix
    Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами [1]. Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса,
    Exact
    [2]
    Suffix
    , [3], [4], [5], [6], используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами. Базовые концепции этих работ формировались, когда на рынке доминировали системы управления потоком работ.

  2. In-text reference with the coordinate start=25630
    Prefix
    Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств [10]. 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри
    Exact
    [2]
    Suffix
    , [3], [4], [5], [6], присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм. С одной стороны, справедливо утверждается, что не надо моделировать данные процесса и правила их трансформации операциями процесса, поскольку это привязывает модель к конкретным условиям эксплуатации, делает ее излишне сложной для понимания и анализа.

3
May 2011. pp. 333-363. 3. Kiepuszewski B., ter Hofstede A., and van der Aalst W., "Fundamentals of Control Flow in Workflows," Vol. 39, No. 3, 2002.
Total in-text references: 2
  1. In-text reference with the coordinate start=2401
    Prefix
    Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами [1]. Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса, [2],
    Exact
    [3]
    Suffix
    , [4], [5], [6], используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами. Базовые концепции этих работ формировались, когда на рынке доминировали системы управления потоком работ.

  2. In-text reference with the coordinate start=25635
    Prefix
    Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств [10]. 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри [2],
    Exact
    [3]
    Suffix
    , [4], [5], [6], присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм. С одной стороны, справедливо утверждается, что не надо моделировать данные процесса и правила их трансформации операциями процесса, поскольку это привязывает модель к конкретным условиям эксплуатации, делает ее излишне сложной для понимания и анализа.

4
Aalst W., "A class of Petri nets for modeling and analyzing business processes," Computing Science Report, Eindhoven Univ. of Technology , Vol. 95, No. 26, 1995.
Total in-text references: 2
  1. In-text reference with the coordinate start=2406
    Prefix
    Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами [1]. Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса, [2], [3],
    Exact
    [4]
    Suffix
    , [5], [6], используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами. Базовые концепции этих работ формировались, когда на рынке доминировали системы управления потоком работ.

  2. In-text reference with the coordinate start=25640
    Prefix
    Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств [10]. 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри [2], [3],
    Exact
    [4]
    Suffix
    , [5], [6], присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм. С одной стороны, справедливо утверждается, что не надо моделировать данные процесса и правила их трансформации операциями процесса, поскольку это привязывает модель к конкретным условиям эксплуатации, делает ее излишне сложной для понимания и анализа.

5
Aalst W., "The application of Petri nets to workflow management," Journal of Circuits, Systems and Computers, Vol. 8, No. 1, 1998. pp. 21-66.
Total in-text references: 2
  1. In-text reference with the coordinate start=2411
    Prefix
    Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами [1]. Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса, [2], [3], [4],
    Exact
    [5]
    Suffix
    , [6], используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами. Базовые концепции этих работ формировались, когда на рынке доминировали системы управления потоком работ.

  2. In-text reference with the coordinate start=25645
    Prefix
    Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств [10]. 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри [2], [3], [4],
    Exact
    [5]
    Suffix
    , [6], присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм. С одной стороны, справедливо утверждается, что не надо моделировать данные процесса и правила их трансформации операциями процесса, поскольку это привязывает модель к конкретным условиям эксплуатации, делает ее излишне сложной для понимания и анализа.

6
Dijkman R. Dumas M. Ouyang C., "Formal Semantics and Analysis of BPMN Process Models using Petri Nets," No. http://eprints.qut.edu. au/7115/01/7115.pdf, 2007.
Total in-text references: 4
  1. In-text reference with the coordinate start=2416
    Prefix
    Поэтому основная нагрузка по отладке модели ложится на плечи аналитика, который не имеет достаточной математической подготовки, что бы анализировать процесс инженерными методами [1]. Большое число работ, посвященных анализу бездефектного завершения бизнес-процесса, [2], [3], [4], [5],
    Exact
    [6]
    Suffix
    , используют подход, основанный на отображении бизнес-процесса в сети Петри (СП) с целью дальнейшего его анализа формальными математическими методами. Базовые концепции этих работ формировались, когда на рынке доминировали системы управления потоком работ.

  2. In-text reference with the coordinate start=10352
    Prefix
    В большинстве работ предполагается анализ поведенческих свойств модели. Например, свойства живости и безопасности, являются поведенческими. Это накладывает на способы отображения исходного процесса в СП требование поведенческой эквивалентности. В работе
    Exact
    [6]
    Suffix
    анализируются сложности, возникающие при таком отображении. К сожалению, таким образом, удается отобразить в СП только набор элементов, соответствующий предыдущей версии BPMN 1.0. Однако возникает вопрос о целесообразности поведенческого моделирования процесса в нотации BPMN с помощью СП.

  3. In-text reference with the coordinate start=11880
    Prefix
    Она включает богатый набор элементов для описания процессов разных типов, но мы рассмотрим только их ограниченное подмножество, используемое для моделирования процессов оркестровки [9]. В качестве узлов на диаграмме выступают объекты потока управления, включающие: операции, логические операторы и события. Отображение основных конструкций BPMN на СП иллюстрирует Рисунок 3
    Exact
    [6]
    Suffix
    . Отличие предлагаемого подхода в том, что бы отказаться от поведенческой эквивалентности, это позволит упростить метод отображения. Договоримся различать узлы, которые производят изменение объекта управления, приводящее к смене его состояния и узлы, которые его не меняют а маршрутизируют.

  4. In-text reference with the coordinate start=25650
    Prefix
    Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств [10]. 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри [2], [3], [4], [5],
    Exact
    [6]
    Suffix
    , присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм. С одной стороны, справедливо утверждается, что не надо моделировать данные процесса и правила их трансформации операциями процесса, поскольку это привязывает модель к конкретным условиям эксплуатации, делает ее излишне сложной для понимания и анализа.

7
Питерсон Д. Теория сетей Петри и моделирование систем. Москва: Мир, 1984.
Total in-text references: 1
  1. In-text reference with the coordinate start=9248
    Prefix
    Если же в каждой позиции может одновременно располагаться не более одного маркера, сеть называется 1-ограниченной или безопасной. Сеть называется вполне завершаемой, если всякий раз, когда ее выполнение завершается: (1) маркер достигает позиции, обозначенной как конечная, (2) в сети не остается других маркеров
    Exact
    [7]
    Suffix
    . 3. Поведенческие и структурные свойства сетей Петри Различают поведенческие и структурные свойства СП [8]. Свойство называют поведенческим, если оно справедливо при определенной начальной маркировки сети.

8
Murata T., "Petri Nets: Properties, Analysis and Applikations," Proceedings of the IEEE, , Vol. 77, No. 4, Apri 1989.. pp. 541-80.
Total in-text references: 3
  1. In-text reference with the coordinate start=9354
    Prefix
    Сеть называется вполне завершаемой, если всякий раз, когда ее выполнение завершается: (1) маркер достигает позиции, обозначенной как конечная, (2) в сети не остается других маркеров [7]. 3. Поведенческие и структурные свойства сетей Петри Различают поведенческие и структурные свойства СП
    Exact
    [8]
    Suffix
    . Свойство называют поведенческим, если оно справедливо при определенной начальной маркировки сети. Одноименное свойство называют структурным, если оно справедливо для любой допустимой маркировки сети.

  2. In-text reference with the coordinate start=10091
    Prefix
    Алгоритмы построения графа достижимости известны, однако трудоемкость их построения растет в экспоненциально относительно числа позиций сети. Структурные свойства проверяются с применением матричных методов с использованием матрицы инцидентности, путем поиска неотрицательных P- и T-инвариантов
    Exact
    [8]
    Suffix
    . В большинстве работ предполагается анализ поведенческих свойств модели. Например, свойства живости и безопасности, являются поведенческими. Это накладывает на способы отображения исходного процесса в СП требование поведенческой эквивалентности.

  3. In-text reference with the coordinate start=27095
    Prefix
    Изменение способа отображения заставляет обратить внимание на правила редукции СП. Поскольку в выполненных ранее работах предполагалось проверять живость и безопасность сети, применялись правила редукции, обеспечивающие сохранение этих свойств
    Exact
    [8]
    Suffix
    . Однако такая редукция изменяет структурные свойства сети [10]. В проводимых рассуждениях мы не объединяли переходы, отображающие работу процесса и используемые в логических операторах и, таким образом сохранили структуру неизменной.

9
Фёдоров И.Г. Моделирование бизнес-процесов в нотации BPMN 2.0. МЭСИ ed. Москва. 2013.
Total in-text references: 1
  1. In-text reference with the coordinate start=11685
    Prefix
    Отображение модели процесса в нотации BPMN в сеть Петри Нотация BPMN применяется для разработки исполняемой модели процесса. Она включает богатый набор элементов для описания процессов разных типов, но мы рассмотрим только их ограниченное подмножество, используемое для моделирования процессов оркестровки
    Exact
    [9]
    Suffix
    . В качестве узлов на диаграмме выступают объекты потока управления, включающие: операции, логические операторы и события. Отображение основных конструкций BPMN на СП иллюстрирует Рисунок 3 [6].

10
Desel J. E.J. Free Choice Petri Nets. Cambridge University Press, 1997.
Total in-text references: 4
  1. In-text reference with the coordinate start=22673
    Prefix
    для моделирования бизнес-процесса, является сетью свободного выбора, у которой каждая дуга, выходящая из позиции, является либо единственным выходом из нее, либо единственным входом в следующий за ней переход (мы будем рассматривать сеть свободного выбора в наиболее строгой формулировке, соответственно результат окажется справедлив для расширенного класса сетей свободного выбора (EFC)
    Exact
    [10]
    Suffix
    ). Рассмотрим пример (Рисунок 6 А). Нотация BPMN допускает «сокращенную» форму записи ветвления «ИЛИ» и слияния «И» без использования логических операторов. Эквивалентная BPMN схема, показывающая логические операторы ветвления и слияния, изображена на рисунке Б.

  2. In-text reference with the coordinate start=23527
    Prefix
    Некоторые авторы не разделяют переходы, соответствующие операциям и логическим элементам, при этом редуцируют сеть так, что полученная сеть не соответствует критериям свободного выбора (рисунок Г). Следует помнить, что не все правила редукции сохраняют структурные свойства, поэтому не применимы к данной ситуации
    Exact
    [10]
    Suffix
    . Докажем важное свойство бизнес-процессов - одно инициирующее стартовое событие создает ровно один отклик на его выходе. Будем иметь в виду, каждый результат на выходе бизнес-процесса д.б. индивидуально идентифицируем, так что бы было возможно посчитать результативность процесса за определенный интервал времени [11].

  3. In-text reference with the coordinate start=25508
    Prefix
    Первый из них инициирует старт процесса, а остальные не должны оказать влияние на стартовавший ранее экземпляр процесса. Учитывая, что модель процесса ответствует СП свободного выбора, можно использовать многочисленные известные способы доказательства перечисленных выше свойств
    Exact
    [10]
    Suffix
    . 7. Обсуждение и выводы В основополагающих работах, посвященных анализу бизнес-процессов с использованием сетей Петри [2], [3], [4], [5], [6], присутствует некоторый Рис. 6. Отображение BPMN в сеть свободного выбора дуализм.

  4. In-text reference with the coordinate start=27157
    Prefix
    Поскольку в выполненных ранее работах предполагалось проверять живость и безопасность сети, применялись правила редукции, обеспечивающие сохранение этих свойств [8]. Однако такая редукция изменяет структурные свойства сети
    Exact
    [10]
    Suffix
    . В проводимых рассуждениях мы не объединяли переходы, отображающие работу процесса и используемые в логических операторах и, таким образом сохранили структуру неизменной. С учетом замечаний о правилах редукции, удалось обосновать важные свойства сети Петри.

11
Sharp А. M.P. Workflow Modeling, Artech House Publishers. Artech House Publishers.
Total in-text references: 1
  1. In-text reference with the coordinate start=23846
    Prefix
    Докажем важное свойство бизнес-процессов - одно инициирующее стартовое событие создает ровно один отклик на его выходе. Будем иметь в виду, каждый результат на выходе бизнес-процесса д.б. индивидуально идентифицируем, так что бы было возможно посчитать результативность процесса за определенный интервал времени
    Exact
    [11]
    Suffix
    . Если предположить, что одно входное воздействие может сгенерировать несколько выходных, то следует допустить, что их число может оказаться неисчислимо большим. Но это противоречит требованию счетности результата.