{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T13:34:39Z","timestamp":1762868079071,"version":"3.37.3"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100004735","name":"Natural Science Foundation of\u00a0Hunan Province","doi-asserted-by":"publisher","award":["2017JJ2016","2018JJ2152","2018JJ2153","2019JJ40105"],"award-info":[{"award-number":["2017JJ2016","2018JJ2152","2018JJ2153","2019JJ40105"]}],"id":[{"id":"10.13039\/501100004735","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science and Technology Program of Hunan Province","award":["2018TP2022"],"award-info":[{"award-number":["2018TP2022"]}]},{"DOI":"10.13039\/100009377","name":"Education Department of Hunan Province","doi-asserted-by":"publisher","award":["17A089","18B356"],"award-info":[{"award-number":["17A089","18B356"]}],"id":[{"id":"10.13039\/100009377","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.2978101","type":"journal-article","created":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T21:49:26Z","timestamp":1583272166000},"page":"46480-46492","source":"Crossref","is-referenced-by-count":11,"title":["A Time Petri Net With Relaxed Mixed Semantics for Schedulability Analysis of Flexible Manufacturing Systems"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9187-5544","authenticated-orcid":false,"given":"Li","family":"Pan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4210-8864","authenticated-orcid":false,"given":"Bo","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6934-0113","authenticated-orcid":false,"given":"Junqiang","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"Mengchu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2642997"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(93)90182-M"},{"key":"ref31","first-page":"161","article-title":"Minimizing Total Time Deviation from Due Windows for Jobs with Multiple Delivery Due Windows Using Lot-streaming in Permutation Flow Shops","volume":"23","author":"weber","year":"2017","journal-title":"Int J Oper Quant Manage"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.2478\/v10175-010-0122-3"},{"key":"ref37","first-page":"197","article-title":"Timing assumptions and verification of finite-state concurrent systems","volume":"407","author":"dill","year":"1989","journal-title":"Proc of the Workshop on Computer Aided VerificationMethods for Finite State Systems"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2019.1911540"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2900288"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2258907"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2588736"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2914895"},{"article-title":"The Weakness of Some Timed Models for Concurrent Systems","year":"1989","author":"bolognesi","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04081-8_37"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.341845"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041054"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2874637"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2347928"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICMeCG.2009.38"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48650-4_3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510772"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2680541"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2677859"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2017.2758380"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65765-3_4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2014.09.043"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2016.11.022"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2964312"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2920677"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38697-8_8"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2490538"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2907413"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.12.005"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_17"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90014-7"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/09022922.pdf?arnumber=9022922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T15:57:41Z","timestamp":1642003061000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9022922\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/access.2020.2978101","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2020]]}}}