{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T01:25:20Z","timestamp":1769822720537,"version":"3.49.0"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100002873","name":"Postdoctoral Fellowship (Ratchadaphiseksomphot Endowment Fund) of Chulalongkorn University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002873","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3168000","type":"journal-article","created":{"date-parts":[[2022,4,18]],"date-time":"2022-04-18T20:13:24Z","timestamp":1650312804000},"page":"42983-43002","source":"Crossref","is-referenced-by-count":7,"title":["Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8441-8962","authenticated-orcid":false,"given":"C.","family":"Dechsupa","sequence":"first","affiliation":[{"name":"Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0457-3474","authenticated-orcid":false,"given":"W.","family":"Vatanawood","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7353-7528","authenticated-orcid":false,"given":"A.","family":"Thongtak","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36926-1_15"},{"key":"ref2","first-page":"319","article-title":"Probabilistic optimization of semantic process model matching","volume-title":"Proc. Int. Conf. Bus. Process Manage.","author":"Henrik"},{"key":"ref3","volume-title":"Enabling Semantic Web Services: The Web Service Modeling Ontology","author":"Dieter","year":"2006"},{"key":"ref4","volume-title":"OMG unified modeling language TM (OMG UML) version 2.5","author":"Omg","year":"2015"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614940"},{"key":"ref6","first-page":"219","volume-title":"High-Level Petri Nets: Theory and Application","author":"Jensen","year":"2012"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.mcm.2008.11.006"},{"key":"ref8","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2173798"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2018.04.006"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04726-2"},{"issue":"1","key":"ref12","first-page":"121","article-title":"Probability in Petri nets","volume":"67","author":"Kudlek","year":"2005","journal-title":"Fundamenta Informaticae"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2497800"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11568421_38"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRD.2003.820418"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-017-0800-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2019.1911576"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.12.044"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134408"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/PIC.2016.7949575"},{"issue":"8","key":"ref21","first-page":"1109","article-title":"Internet of Things aware WS-BPEL business processes context variables and expected exceptions","volume":"20","author":"Domingos","year":"2014","journal-title":"J. Univers. Comput. Sci."},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SERA.2016.7516140"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.5220\/0006243303580367"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7535-4_22"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2093884"},{"issue":"5","key":"ref26","first-page":"1","article-title":"An approach for synthesis Petri nets for modeling and verifying composite web service","volume-title":"J. Inf. Sci. Eng.","volume":"24","author":"Ding","year":"2008"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.923062"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICAT.2015.7340537"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41202-8_21"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591070"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00787-5"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.19"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.energy.2015.08.003"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22168-7_3"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1155\/2017\/9324035"},{"key":"ref37","volume-title":"Service Oriented Architecture (SOA) for Dummies","author":"Hurwitz","year":"2009"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1236471"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2005.96"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/32.297939"},{"key":"ref41","volume-title":"Uppaal 4.0","author":"Behrmann","year":"2006"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31131-4_22"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"ref44","volume-title":"High-Level Petri Nets: Theory and Application","author":"Jensen","year":"2012"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/0140-3664(90)90161-9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0038-x"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53863-1_30"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0161-4"},{"key":"ref49","first-page":"531","article-title":"A plugin system for Charlie","volume-title":"Proc. CS&P","author":"Wegener"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1002\/9781119991472"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2892958"},{"key":"ref53","volume-title":"Technical report: Mapping of BPEL and Examples","author":"Dechsupa","year":"2020"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2853669"},{"key":"ref55","article-title":"The manual for colored Petri nets in snoopy\u2013QPN C\/SPN C\/CPN C\/GHPN C","author":"Fei","year":"2012"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11737-9_25"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09758738.pdf?arnumber=9758738","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T21:06:09Z","timestamp":1705957569000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9758738\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":55,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3168000","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]}}}