• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Мероприятия

PAIS Lab seminar "Data Petri Nets as a Formalism for Representing Decision-Aware Process Models"

Мероприятие завершено

January 21, Friday
18:10 (Moscow time)

Data Petri Nets as a Formalism for Representing Decision-Aware Process Models

Nikolay Suvorov, PAIS Lab Research Assistant

Join the seminar using Zoom

ID: 992 5152 4684

Password: 439350

In recent years, there has been an increasing interest in enriching the traditional control flow perspective of processes with additional dimensions. This report is focused on Data Petri nets (DPNs) which are a data aware extension of Petri nets where the net is enriched with data variables of different types, while transitions are guarded by formulae that inspect and update such variables. Such formalism provides a possibility to consider not only the control flow perspective of the process but also the dataflow perspective as well as the decisions made based on the data.

The report covers syntax and semantics of DPNs, techniques to discover DPNs from the event data, ways to perform conformance checking on models represented as DPNs and different algorithms to check soundness of DPNs.