{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T19:15:39Z","timestamp":1774379739178,"version":"3.50.1"},"reference-count":67,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key R&D Program of China","award":["2018YFB1700104"],"award-info":[{"award-number":["2018YFB1700104"]}]},{"name":"Science and Technology Development Fund, Macao Special Administrative Region","award":["078\/2015\/A3"],"award-info":[{"award-number":["078\/2015\/A3"]}]},{"name":"Science and Technology Development Fund, Macao Special Administrative Region","award":["106\/20156\/A3"],"award-info":[{"award-number":["106\/20156\/A3"]}]},{"name":"General Directorate of Scientific Research and Technological Development DGRSDT\/MESRS, Algeria"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2021,7]]},"DOI":"10.1109\/tase.2020.3006435","type":"journal-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T21:47:42Z","timestamp":1595886462000},"page":"1392-1405","source":"Crossref","is-referenced-by-count":10,"title":["RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems"],"prefix":"10.1109","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8723-5827","authenticated-orcid":false,"given":"Mohamed","family":"Ramdani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laid","family":"Kahloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6311-3588","authenticated-orcid":false,"given":"Mohamed","family":"Khalgui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1547-5503","authenticated-orcid":false,"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2017.01.012"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2309479"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510766"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2496500"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.02.014"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2241762"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2013.2297155"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2647219"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510775"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2620429"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40530-8_4"},{"key":"ref62","article-title":"A basic tool for the modeling of marked-controlled reconfigurable Petri nets","volume":"2","author":"llorens","year":"2007","journal-title":"Electron Commun EASST"},{"key":"ref61","first-page":"1","article-title":"Towards model checking reconfigurable Petri nets using Maude","volume":"68","author":"padberg","year":"2014","journal-title":"Electron Commun"},{"key":"ref63","first-page":"225","article-title":"Extended computation tree logic","author":"roch","year":"2000","journal-title":"Proc Workshop Concurrency Special Program Informatik-Bericht"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2507140"},{"key":"ref64","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1038\/nature14539","article-title":"Deep learning","volume":"521","author":"lecun","year":"2015","journal-title":"Nature"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510772"},{"key":"ref65","author":"staab","year":"2010","journal-title":"Handbook on Ontologies"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2733518"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2507161"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003114"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2397832"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-018-0921-6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2362819"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2524062"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2156783"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.01.036"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-014-0938-z"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.11.011"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.02.044"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.011"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2016.99030"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/GCCE.2015.7398597"},{"key":"ref56","article-title":"LTL-based verification of reconfigurable workflows","author":"mazzara","year":"2016","journal-title":"arXiv 1607 03649"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1997.616302"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2010.2050697"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638489"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2855209"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2608918"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1504\/IJMIC.2011.039701"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2521833"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2313352"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2799852"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2781460"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2865965"},{"key":"ref16","article-title":"An extended object constraint language for adaptive discrete event systems with application to reconfigurable wireless sensor networks","author":"grichi","year":"2018","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2878896"},{"key":"ref18","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref19","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref4","first-page":"2051","article-title":"Filtering and intrusion detection approach for secured reconfigurable mobile systems","volume":"12","author":"idriss","year":"2017","journal-title":"J Electr Eng Technol"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2573824"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/rcs.1786"},{"key":"ref5","first-page":"20","article-title":"ZiZo: Modeling, simulation and verification of reconfigurable real-time control tasks sharing adaptive resources-application to the medical project bros","author":"salem","year":"2015","journal-title":"Proc HEALTHINF"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2645401"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.03.016"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.21236\/ADA583813"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2625817"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2217321"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75396-6_11"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp036"},{"key":"ref47","author":"starke","year":"2002","journal-title":"Analysing Signal-net Systems"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2585647"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2307284"},{"key":"ref44","article-title":"Reconfigurable nets, a class of high level Petri nets supporting dynamic changes within workflow systems","author":"badouel","year":"1998"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2574120"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/9470960\/09149784.pdf?arnumber=9149784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:52:30Z","timestamp":1652194350000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9149784\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7]]},"references-count":67,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tase.2020.3006435","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7]]}}}