Possibilities and limitations of formal methods for business process analysis and design // Joseph Barjis
On monday, May 27th, was held a session of the PAIS Lab seminar. Joseph Barjis (associate professor of the TU Delft) presented the report on subject: Possibilities and limitations of formal methods for business process analysis and design.
more (ru)...
The practical application of the methods of extraction and analysis of process models: principles and examples // A. D. Breyman
On monday, May 13th, was held a session of the PAIS Lab seminar. A. D. Breyman (research fellow of the PAIS Lab) presented the report on subject: The practical application of the methods of extraction and analysis of process models: principles and examples.
more (ru) ...
Workflow boolean verification algorithm. Equivalent transformations of workflows // A. Kalenkova
On monday, April 29, was held a session of the PAIS Lab seminar. A. Kalenkova (research fellow of the PAIS Lab) presented the report on subject: Workflow boolean verification algorithm. Equivalent transformations of workflows.
more (ru) ...
PAIS Lab seminar: Mediating Between Modeled and Observed Behavior: The Quest for the "Right" Process // prof. Wil van der Aalst
On monday, April 15, was held a session of the PAIS Lab seminar.
Academic supervisor of the PAIS Lab, professor of the Eindhoven University of Technology (TU/e) Wil van der Aalst presented the report on subject: Mediating Between Modeled and Observed Behavior: The Quest for the "Right" Process.
more...
PAIS Lab seminar: The Principles of Business Process' Behavior Modeling // I. G. Fedorov
On monday, April 8, was held a session of the PAIS Lab seminar.
Prof. I. G. Fedorov from the MESI presented the report on subject: The Principles of Business Process' Behavior Modeling.
more (ru) ...
PAIS Lab seminar: Similarity of Business Process Models: Metrics and Evaluation // A. Derguzova
On monday, April 1, was held a session of the PAIS Lab seminar.
Anna Derguzova, HSE student, presented the report on subject: Similarity of Business Process Models: Metrics and Evaluation.
more...