{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:53:16Z","timestamp":1761126796536,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,12,15]],"date-time":"2021-12-15T00:00:00Z","timestamp":1639526400000},"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":[[2021,12,15]]},"DOI":"10.1145\/3508072.3508080","type":"proceedings-article","created":{"date-parts":[[2022,4,13]],"date-time":"2022-04-13T17:01:56Z","timestamp":1649869316000},"page":"42-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Formalization of Business Processes and Business Rules Model using Colored Petri Nets"],"prefix":"10.1145","author":[{"given":"Tuan","family":"Nguyen Thanh","sequence":"first","affiliation":[{"name":"Vietnam-Korea University of Information and Communication Technology, The University of Danang, Vietnam"}]},{"given":"Nhan","family":"Le Thanh","sequence":"additional","affiliation":[{"name":"University of C\u00f4te d'Azur, France"}]},{"given":"Ha","family":"Hoang Thi Thanh","sequence":"additional","affiliation":[{"name":"University of Economics, The University of Danang, Vietnam"}]}],"member":"320","published-online":{"date-parts":[[2022,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Automating Operational Decision-Making. In 16th Working Conference on Virtual Enterprises (PROVE) Albi. France, ff10","author":"Biard Thierry","year":"2015","unstructured":"Thierry Biard , Alexandre\u00a0Le Mauff , Michel Bigand , and Jean-Pierre Bourey . 2015 . Separation of Decision Modeling from Business Process Modeling Using New \u201cDecision Model and Notation\u201d (DMN) for Automating Operational Decision-Making. In 16th Working Conference on Virtual Enterprises (PROVE) Albi. France, ff10 .1007\/978-3-319-24141-8-45ff. ffhal-01224703, 489\u2013496. Thierry Biard, Alexandre\u00a0Le Mauff, Michel Bigand, and Jean-Pierre Bourey. 2015. Separation of Decision Modeling from Business Process Modeling Using New \u201cDecision Model and Notation\u201d (DMN) for Automating Operational Decision-Making. In 16th Working Conference on Virtual Enterprises (PROVE) Albi. France, ff10.1007\/978-3-319-24141-8-45ff. ffhal-01224703, 489\u2013496."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"R.\u00a0M. Dijkman M. Dumas and C. Ouyang. 2007. Formal Semantics and Analysis of BPMN Process Models using Petri Nets. Queensland University of Technology Tech. Rep.  R.\u00a0M. Dijkman M. Dumas and C. Ouyang. 2007. Formal Semantics and Analysis of BPMN Process Models using Petri Nets. Queensland University of Technology Tech. Rep.","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"e_1_3_2_1_3_1","unstructured":"Yang Dong and Zhang ShenSheng. 2003. Using pi-calculus to Formalize UML Activity Diagram for Business Process Modeling. in ECBS\u20180 3(2003) 47\u201354.  Yang Dong and Zhang ShenSheng. 2003. Using pi-calculus to Formalize UML Activity Diagram for Business Process Modeling. in ECBS\u20180 3(2003) 47\u201354."},{"volume-title":"Issues 3\u20134)","author":"Jensen K.","key":"e_1_3_2_1_4_1","unstructured":"K. Jensen and L.\u00a0 M. Kristensen . 2009. Coloured Petri Nets Modelling and Validation of Concurrent Systems (Vol. 9 , Issues 3\u20134) . Springer , Berlin . https:\/\/doi.org\/10.1007\/b95112 10.1007\/b95112 K. Jensen and L.\u00a0M. Kristensen. 2009. Coloured Petri Nets Modelling and Validation of Concurrent Systems (Vol. 9, Issues 3\u20134). Springer, Berlin. https:\/\/doi.org\/10.1007\/b95112"},{"key":"e_1_3_2_1_5_1","volume-title":"An Evaluation Framework for Business Process Modeling Techniques. 15","author":"Nagm\u00a0Aldeen Yasmine","year":"2017","unstructured":"Yasmine Nagm\u00a0Aldeen . 2017. An Evaluation Framework for Business Process Modeling Techniques. 15 ( 2017 ), 11. Yasmine Nagm\u00a0Aldeen. 2017. An Evaluation Framework for Business Process Modeling Techniques. 15 (2017), 11."},{"key":"e_1_3_2_1_6_1","volume-title":"Business Process Model And Notation. Retrieved","author":"OMG","year":"2021","unstructured":"OMG 2021. Business Process Model And Notation. Retrieved December 1, 2021 from https:\/\/www.omg.org\/spec\/BPMN\/2.0\/About-BPMN\/ OMG 2021. Business Process Model And Notation. Retrieved December 1, 2021 from https:\/\/www.omg.org\/spec\/BPMN\/2.0\/About-BPMN\/"},{"key":"e_1_3_2_1_7_1","volume-title":"Decision Model and Notation. Retrieved","author":"OMG","year":"2021","unstructured":"OMG 2021. Decision Model and Notation. Retrieved December 1, 2021 from https:\/\/www.omg.org\/spec\/DMN\/ OMG 2021. Decision Model and Notation. Retrieved December 1, 2021 from https:\/\/www.omg.org\/spec\/DMN\/"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"F. Puhlmann and M. Weske. 2005. Using the pi-Calculus for Formalizing Workflow Patterns. Business Process Management pp(2005) 153\u2013168.  F. Puhlmann and M. Weske. 2005. Using the pi-Calculus for Formalizing Workflow Patterns. Business Process Management pp(2005) 153\u2013168.","DOI":"10.1007\/11538394_11"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"T.\u00a0S. Staines. 2008. Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets. in ECBS\u20180 8(2008) 191\u2013200.  T.\u00a0S. Staines. 2008. Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets. in ECBS\u20180 8(2008) 191\u2013200.","DOI":"10.1109\/ECBS.2008.12"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Tsukasa Takemura. 2008. Formal Semantics and Verification of BPMN Transaction and Compensation. in APSCC\u20190 8(2008) 284\u2013290.  Tsukasa Takemura. 2008. Formal Semantics and Verification of BPMN Transaction and Compensation. in APSCC\u20190 8(2008) 284\u2013290.","DOI":"10.1109\/APSCC.2008.208"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/KSE.2019.8919341"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJBPIM.2020.10040367"},{"key":"e_1_3_2_1_13_1","volume-title":"Wong and Jeremy Gibbons","author":"Peter","year":"2008","unstructured":"Peter Y.\u00a0H. Wong and Jeremy Gibbons . 2008 . A process semantics for BPMN. Formal Methods and Software Engineering , pp(2008), 355\u2013374. Peter Y.\u00a0H. Wong and Jeremy Gibbons. 2008. A process semantics for BPMN. Formal Methods and Software Engineering, pp(2008), 355\u2013374."}],"event":{"name":"ICFNDS 2021: The 5th International Conference on Future Networks & Distributed Systems","acronym":"ICFNDS 2021","location":"Dubai United Arab Emirates"},"container-title":["The 5th International Conference on Future Networks & Distributed Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508072.3508080","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3508072.3508080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:30Z","timestamp":1750191150000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508072.3508080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,15]]},"references-count":13,"alternative-id":["10.1145\/3508072.3508080","10.1145\/3508072"],"URL":"https:\/\/doi.org\/10.1145\/3508072.3508080","relation":{},"subject":[],"published":{"date-parts":[[2021,12,15]]},"assertion":[{"value":"2022-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}