@inproceedings{747a63e09a4443d9a21e07880e78b2d6,
title = "Towards a Concurrence Analysis in Business Processes",
abstract = "This paper presents first steps towards a solution aimed to provide concurrent business processes analysis methodology for predicting the probability of incorrect business process execution. The aim of the paper is to (a) look at approaches to describing and dealing with the execution of concurrent processes, mainly focusing on the transaction mechanisms in database management systems, (b) present an idea and a preliminary version of an algorithm that detects the possibility of incorrect execution of concurrent business processes. Analyzing business process according to the proposed procedure allows to configure transaction processing optimally.",
keywords = "business process correctness, concurrence control, symbolic execution, transaction",
author = "Anastasija Ņikiforova and Jānis Bi{\v c}evskis and Ģirts Karnītis",
note = "Publisher Copyright: {\textcopyright} 2020 IEEE.",
year = "2020",
month = dec,
day = "14",
doi = "10.1109/SNAMS52053.2020.9336566",
language = "English",
isbn = "9780738124605",
series = "2020 7th International Conference on Social Network Analysis, Management and Security, SNAMS 2020",
publisher = "IEEE",
editor = "Christian Guetl and Imad Saleh and Paolo Caravolo and Yaser Jararweh and Elhadj Benkhelifa",
booktitle = "2020 7th International Conference on Social Network Analysis Management and Security Snams 2020",
}