{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,3]],"date-time":"2026-09-03T16:31:58Z","timestamp":1788453118876,"version":"build-2803163510"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology","award":["2011-0011438"],"award-info":[{"award-number":["2011-0011438"]}]},{"name":"Global Ph.D. Fellowship Program of the National Research Foundation of Korea during 2013"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/tase.2014.2313979","type":"journal-article","created":{"date-parts":[[2014,4,11]],"date-time":"2014-04-11T18:02:37Z","timestamp":1397239357000},"page":"1007-1016","source":"Crossref","is-referenced-by-count":37,"title":["Time-Feasible Reachability Tree for Noncyclic Scheduling of Timed Petri Nets"],"prefix":"10.1109","volume":"12","author":[{"given":"Hyun-Jung","family":"Kim","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jun-Ho","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tae-Eog","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046893"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046891"},{"key":"ref33","first-page":"9","author":"wang","year":"1998","journal-title":"Timed Petri Nets Theory and Application"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2012.6377995"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2293552"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233141"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ASMC.2007.4595693"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/41.334574"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0005-1098(94)90024-8","article-title":"Petri nets for modeling of dynamic systems- A survey","volume":"30","author":"divid","year":"1994","journal-title":"Automat"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2160452"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2006.879414"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2003.815203"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2012.2199329"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2011.2180547"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2220355"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1109\/41.334576","article-title":"A Petri net based approach to modeling and scheduling for an FMS and a case study","volume":"41","author":"sun","year":"1994","journal-title":"IEEE Trans Ind Electron"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1109\/70.282537","article-title":"Scheduling flexible manufacturing systems using Petri nets and heuristic search","volume":"10","author":"lee","year":"1994","journal-title":"IEEE Trans Robot Autom"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.apm.2006.10.023"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2217128"},{"key":"ref19","first-page":"211","article-title":"Petri net scheduling of FMS using branch and bound method","author":"zhou","year":"1995","journal-title":"Proc IEEE Int Conf Ind Electron Control Instrum"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/9.481550"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2012.6204900"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/70.63257"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.811516"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0166-3615(95)00051-8"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01540160"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2008.2000425"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/66.705370"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046736"},{"key":"ref1","first-page":"62","article-title":"Timed Petri net schedules","volume":"340","author":"carlier","year":"1988","journal-title":"Advances in Petri Nets"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/17.658660"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2254713"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s001700170184"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918632"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/70.781993"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/9.8644"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2007.4341849"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008994901236"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2003.810240"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2255037"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/70.988976"},{"key":"ref25","author":"jung","year":"2010","journal-title":"Cyclic scheduling of timed Petri nets Behavior optimization and application to cluster tools"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/7161421\/06787086.pdf?arnumber=6787086","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:42:08Z","timestamp":1642005728000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6787086\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":45,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tase.2014.2313979","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7]]}}}