{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T04:53:18Z","timestamp":1749099198032},"reference-count":10,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T00:00:00Z","timestamp":1655856000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T00:00:00Z","timestamp":1655856000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,6,22]]},"DOI":"10.1109\/jcsse54890.2022.9836308","type":"proceedings-article","created":{"date-parts":[[2022,7,28]],"date-time":"2022-07-28T15:47:39Z","timestamp":1659023259000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Transforming YAWL Workflows with Time Interval Constraints into Timed Automata"],"prefix":"10.1109","author":[{"given":"Naronggorn","family":"Wongsitthiphaithun","sequence":"first","affiliation":[{"name":"Chulalongkorn University,Faculty of Engineering,Department of Computer Engineering,Bangkok,Thailand"}]},{"given":"Wiwat","family":"Vatanawood","sequence":"additional","affiliation":[{"name":"Chulalongkorn University,Faculty of Engineering,Department of Computer Engineering,Bangkok,Thailand"}]}],"member":"263","reference":[{"journal-title":"Yawl Yet another workflow language","article-title":"The YAWL Foundation","year":"2004","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2723839.2723867"},{"key":"ref6","article-title":"A tutorial on Uppaal 4.0","author":"behrmann","year":"2006","journal-title":"Department of Computer Science Aalborg University"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3374549.3374564"},{"journal-title":"UPPAAL","year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2020.100576"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3479162.3479191"},{"journal-title":"ABPMP Standards for Business Process Management (BPM)","year":"0","author":"benedict","key":"ref1"}],"event":{"name":"2022 19th International Joint Conference on Computer Science and Software Engineering (JCSSE)","start":{"date-parts":[[2022,6,22]]},"location":"Bangkok, Thailand","end":{"date-parts":[[2022,6,25]]}},"container-title":["2022 19th International Joint Conference on Computer Science and Software Engineering (JCSSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9836023\/9836237\/09836308.pdf?arnumber=9836308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,15]],"date-time":"2022-08-15T16:03:31Z","timestamp":1660579411000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9836308\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,22]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/jcsse54890.2022.9836308","relation":{},"subject":[],"published":{"date-parts":[[2022,6,22]]}}}