{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T16:21:54Z","timestamp":1772641314265,"version":"3.50.1"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"DOI":"10.13039\/501100002873","name":"Chulalongkorn University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002873","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002873","name":"Chulalongkorn University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002873","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Overseas Research Experience Scholarship for Graduate Student"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2018]]},"DOI":"10.1109\/access.2018.2853669","type":"journal-article","created":{"date-parts":[[2018,7,6]],"date-time":"2018-07-06T18:39:33Z","timestamp":1530902373000},"page":"38421-38436","source":"Crossref","is-referenced-by-count":26,"title":["Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8441-8962","authenticated-orcid":false,"given":"C.","family":"Dechsupa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Vatanawood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Thongtak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Formal semantics and analysis of BPMN process models using Petri nets","author":"dijkman","year":"2007"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.12.044"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/9781119991472"},{"key":"ref13","author":"holzmann","year":"2004","journal-title":"The SPIN Model Checker Primer and Reference Manual"},{"key":"ref14","author":"cavada","year":"2018","journal-title":"NuSMV A New Symbolic Model Checker"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41115-1_2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2663340"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/UCC.2014.34"},{"key":"ref19","year":"2017","journal-title":"The BPMN Modeler"},{"key":"ref28","article-title":"Formal definition of mapping BPMN into colored Petri net","author":"dechsupa","year":"2018"},{"key":"ref4","author":"jensen","year":"2013","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use"},{"key":"ref27","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0038-x"},{"key":"ref6","first-page":"3","article-title":"Business process verification: The application of model checking and timed automata","volume":"17","author":"morales","year":"2014","journal-title":"CLEI Electron J"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66845-1_21"},{"key":"ref8","article-title":"Business process simulation using coloured Petri nets","author":"z\u00e4uram","year":"2010"},{"key":"ref7","first-page":"126","article-title":"Transformation of BPMN models for behaviour analysis","author":"raedts","year":"2007","journal-title":"Proc MSVVEIS"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35746-6_1"},{"key":"ref9","article-title":"Design and implementation of a BPMN to PROMELA translator","author":"sun","year":"2012"},{"key":"ref1","first-page":"1","year":"2011","journal-title":"Business Process Model and Notation (BPMN) Version 2 0"},{"key":"ref20","year":"2010","journal-title":"BPMN 2 0 by Example"},{"key":"ref22","first-page":"1","article-title":"Formal semantics of BPMN process models using CPN","volume":"5","author":"ibrahim","year":"2017","journal-title":"IREIT"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.20532\/cit.2016.1002774"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1080\/00207540701199677"},{"key":"ref23","first-page":"1","article-title":"BPMN Formalisation using Coloured Petri Nets","author":"ramadan","year":"2011","journal-title":"Proc 2nd GSTF Annu Int Conf Softw Eng Appl"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12186-9_2"},{"key":"ref25","article-title":"Detecting data-flow errors in BPMN 2.0","author":"stackelberg","year":"2014"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8274985\/08405526.pdf?arnumber=8405526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:14:23Z","timestamp":1642004063000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8405526\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/access.2018.2853669","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}