{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T14:01:53Z","timestamp":1760623313382,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,2,24]],"date-time":"2023-02-24T00:00:00Z","timestamp":1677196800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,2,24]]},"DOI":"10.1145\/3591569.3591572","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T16:15:49Z","timestamp":1689264949000},"page":"15-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8854-232X","authenticated-orcid":false,"given":"Tuan","family":"Nguyen Thanh","sequence":"first","affiliation":[{"name":"Vietnam-Korea University of Information and Communication Technology, Vietnam and The University of Danang, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4207-2128","authenticated-orcid":false,"given":"Nhan","family":"Le Thanh","sequence":"additional","affiliation":[{"name":"WIMMICS-INRIA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4866-2911","authenticated-orcid":false,"given":"Ha","family":"Hoang Thi Thanh","sequence":"additional","affiliation":[{"name":"University of Economics-The University of Danang, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2202-8735","authenticated-orcid":false,"given":"Thao","family":"Ha Thi","sequence":"additional","affiliation":[{"name":"FPT University, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2020.100527"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115635"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Frank\u00a0S. de Boer Mario Bravetti Immo Grabe Matias\u00a0David Lee Martin Steffen and Gianluigi Zavattaro. 2012. A Petri Net based Analysis of Deadlocks for Active Objects and Futures (Extended Version).  Frank\u00a0S. de Boer Mario Bravetti Immo Grabe Matias\u00a0David Lee Martin Steffen and Gianluigi Zavattaro. 2012. A Petri Net based Analysis of Deadlocks for Active Objects and Futures (Extended Version).","DOI":"10.1007\/978-3-642-35861-6_7"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85758-7_30"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Gero Decker Remco\u00a0M. Dijkman Marlon Dumas and Luciano Garc\u00eda-Ba\u00f1uelos. 2008. Transforming BPMN Diagrams into YAWL Nets. In BPM.  Gero Decker Remco\u00a0M. Dijkman Marlon Dumas and Luciano Garc\u00eda-Ba\u00f1uelos. 2008. Transforming BPMN Diagrams into YAWL Nets. In BPM.","DOI":"10.1007\/978-3-540-85758-7_30"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"e_1_3_2_1_7_1","unstructured":"J. Freund and B. R\u00fccker. 2019. Real-Life BPMN (4th Edition): Includes an Introduction to DMN. Independently Published.  J. Freund and B. R\u00fccker. 2019. Real-Life BPMN (4th Edition): Includes an Introduction to DMN. Independently Published."},{"key":"e_1_3_2_1_8_1","unstructured":"Object\u00a0Management Group. 2011. About the Business Process Model and Notation Specification Version 2.0.2. https:\/\/www.omg.org\/spec\/BPMN\/  Object\u00a0Management Group. 2011. About the Business Process Model and Notation Specification Version 2.0.2. https:\/\/www.omg.org\/spec\/BPMN\/"},{"key":"e_1_3_2_1_9_1","unstructured":"Object\u00a0Management Group. 2019. Decision Model and Notation (DMN) Version 1.3. https:\/\/www.omg.org\/spec\/DMN\/1.3\/  Object\u00a0Management Group. 2019. Decision Model and Notation (DMN) Version 1.3. https:\/\/www.omg.org\/spec\/DMN\/1.3\/"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/UIC-ATC.2010.114"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Kurt Jensen and Lars\u00a0Michael Kristensen. 2009. Coloured Petri Nets - Modelling and Validation of Concurrent Systems.  Kurt Jensen and Lars\u00a0Michael Kristensen. 2009. Coloured Petri Nets - Modelling and Validation of Concurrent Systems.","DOI":"10.1007\/b95112"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"R. Koniewski Andrzej Dzieli\u0144ski and Krzysztof Amborski. 2006. Use of Petri Nets and Business Processes Management Notation in Modelling and Simulation of Multimodal Logistics Chains.  R. Koniewski Andrzej Dzieli\u0144ski and Krzysztof Amborski. 2006. Use of Petri Nets and Business Processes Management Notation in Modelling and Simulation of Multimodal Logistics Chains.","DOI":"10.7148\/2006-0099"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(03)00129-0"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69387-1_58"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Abdelkader Moudjari Fateh Latreche and Hichem Talbi. 2018. Meta-ECATNets for Modelling and Analyzing Clinical Pathways. In MISC.  Abdelkader Moudjari Fateh Latreche and Hichem Talbi. 2018. Meta-ECATNets for Modelling and Analyzing Clinical Pathways. In MISC.","DOI":"10.1007\/978-3-030-05481-6_22"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS.2011.5982346"},{"key":"e_1_3_2_1_17_1","unstructured":"Mohamed\u00a0Z. Ramadan Hicham\u00a0G. Elmongui and Riham Hassan. 2011. BPMN Formalisation using Coloured Petri Nets.  Mohamed\u00a0Z. Ramadan Hicham\u00a0G. Elmongui and Riham Hassan. 2011. BPMN Formalisation using Coloured Petri Nets."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07218-0"},{"key":"e_1_3_2_1_19_1","unstructured":"Anna Suchenia Piotr Wisniewski and Antoni Ligeza. 2017. Overview of Verification Tools for Business Process Models. In FedCSIS.  Anna Suchenia Piotr Wisniewski and Antoni Ligeza. 2017. Overview of Verification Tools for Business Process Models. In FedCSIS."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/KSE.2019.8919341"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3508072.3508080"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-59432-2"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.3758705"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1108\/14637150910931479"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.5.4.396-404"}],"event":{"name":"ICIIT 2023: 2023 8th International Conference on Intelligent Information Technology","acronym":"ICIIT 2023","location":"Da Nang Vietnam"},"container-title":["Proceedings of the 2023 8th International Conference on Intelligent Information Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3591569.3591572","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3591569.3591572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:48:47Z","timestamp":1750286927000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3591569.3591572"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,24]]},"references-count":25,"alternative-id":["10.1145\/3591569.3591572","10.1145\/3591569"],"URL":"https:\/\/doi.org\/10.1145\/3591569.3591572","relation":{},"subject":[],"published":{"date-parts":[[2023,2,24]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}