{"id":"https://openalex.org/W2889090079","doi":"https://doi.org/10.1109/tsmc.2018.2855209","title":"On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems","display_name":"On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems","publication_year":2018,"publication_date":"2018-08-29","ids":{"openalex":"https://openalex.org/W2889090079","doi":"https://doi.org/10.1109/tsmc.2018.2855209","mag":"2889090079"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2018.2855209","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2018.2855209","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081266998","display_name":"Yousra Hafidi","orcid":"https://orcid.org/0000-0002-3543-6731"},"institutions":[{"id":"https://openalex.org/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]},{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]},{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["CN","DZ","TN"],"is_corresponding":false,"raw_author_name":"Yousra Hafidi","raw_affiliation_strings":["Computer Science Department, LINFI Laboratory, University of Mohamed Khider, Biskra, Algeria","Faculty of Sciences of Tunis, University of Tunis El Manar, Tunis, Tunisia","School of Electrical and Information Engineering, Jinan University, Zhuhai, China"],"raw_orcid":"https://orcid.org/0000-0002-3543-6731","affiliations":[{"raw_affiliation_string":"Computer Science Department, LINFI Laboratory, University of Mohamed Khider, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]},{"raw_affiliation_string":"Faculty of Sciences of Tunis, University of Tunis El Manar, Tunis, Tunisia","institution_ids":["https://openalex.org/I63596082","https://openalex.org/I108714496"]},{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, Zhuhai, China","institution_ids":["https://openalex.org/I159948400"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052087453","display_name":"La\u00efd Kahloul","orcid":"https://orcid.org/0000-0002-9739-7715"},"institutions":[{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Laid Kahloul","raw_affiliation_strings":["Computer Science Department, LINFI Laboratory, University of Mohamed Khider, Biskra, Algeria"],"raw_orcid":"https://orcid.org/0000-0002-9739-7715","affiliations":[{"raw_affiliation_string":"Computer Science Department, LINFI Laboratory, University of Mohamed Khider, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102803559","display_name":"Mohamed Khalgui","orcid":"https://orcid.org/0000-0001-6311-3588"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]},{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]},{"id":"https://openalex.org/I42731748","display_name":"National Institute of Applied Science and Technology","ror":"https://ror.org/00qn2rd91","country_code":"TN","type":"facility","lineage":["https://openalex.org/I42731748"]}],"countries":["CN","TN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia","School of Electrical and Information Engineering, Jinan University, Zhuhai, China"],"raw_orcid":"https://orcid.org/0000-0001-6311-3588","affiliations":[{"raw_affiliation_string":"National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]},{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, Zhuhai, China","institution_ids":["https://openalex.org/I159948400"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]},{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN","MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0003-1547-5503","affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066286669","display_name":"Khalid A. Alnowibet","orcid":"https://orcid.org/0000-0001-5760-0216"},"institutions":[{"id":"https://openalex.org/I28022161","display_name":"King Saud University","ror":"https://ror.org/02f81g417","country_code":"SA","type":"education","lineage":["https://openalex.org/I28022161"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Khalid Alnowibet","raw_affiliation_strings":["Department of Statistics and Operations Research, King Saud University, Riyadh, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0001-5760-0216","affiliations":[{"raw_affiliation_string":"Department of Statistics and Operations Research, King Saud University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021504878","display_name":"Ting Qu","orcid":"https://orcid.org/0000-0003-1012-2856"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Qu","raw_affiliation_strings":["School of Electrical and Information Engineering, Jinan University, Zhuhai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, Zhuhai, China","institution_ids":["https://openalex.org/I159948400"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2175,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.93111986,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"50","issue":"10","first_page":"3577","last_page":"3591"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7807222604751587},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7603703141212463},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.7003637552261353},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6334704756736755},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5128186345100403},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5126299262046814},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.506152331829071},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.45440006256103516},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.4399513006210327},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4213674068450928},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3843776285648346},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24957865476608276}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7807222604751587},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7603703141212463},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.7003637552261353},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6334704756736755},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5128186345100403},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5126299262046814},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.506152331829071},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.45440006256103516},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4399513006210327},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4213674068450928},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3843776285648346},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24957865476608276},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmc.2018.2855209","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2018.2855209","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4097747384","display_name":null,"funder_award_id":"61472295","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5433475655","display_name":null,"funder_award_id":"61672400","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5941766095","display_name":null,"funder_award_id":"61374068","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G619352510","display_name":null,"funder_award_id":"122/2017/A3","funder_id":"https://openalex.org/F4320326701","funder_display_name":"Recruitment Program of Global Experts"},{"id":"https://openalex.org/G7917956217","display_name":null,"funder_award_id":"106/20156/A3","funder_id":"https://openalex.org/F4320326701","funder_display_name":"Recruitment Program of Global Experts"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320326701","display_name":"Recruitment Program of Global Experts","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":69,"referenced_works":["https://openalex.org/W92736795","https://openalex.org/W151970498","https://openalex.org/W1498432697","https://openalex.org/W1527974694","https://openalex.org/W1547450940","https://openalex.org/W1642772123","https://openalex.org/W1759934887","https://openalex.org/W1965215820","https://openalex.org/W1966993374","https://openalex.org/W1968268217","https://openalex.org/W1976415126","https://openalex.org/W1996109622","https://openalex.org/W2030265754","https://openalex.org/W2032196025","https://openalex.org/W2037933704","https://openalex.org/W2038824317","https://openalex.org/W2070996046","https://openalex.org/W2076665553","https://openalex.org/W2089870759","https://openalex.org/W2092893907","https://openalex.org/W2098222787","https://openalex.org/W2098552099","https://openalex.org/W2100054110","https://openalex.org/W2105371171","https://openalex.org/W2123328759","https://openalex.org/W2135886503","https://openalex.org/W2144748033","https://openalex.org/W2147740041","https://openalex.org/W2164067033","https://openalex.org/W2184144178","https://openalex.org/W2284540796","https://openalex.org/W2296753638","https://openalex.org/W2311728956","https://openalex.org/W2316519055","https://openalex.org/W2335487098","https://openalex.org/W2344326925","https://openalex.org/W2345051373","https://openalex.org/W2403044140","https://openalex.org/W2410900155","https://openalex.org/W2461900131","https://openalex.org/W2466871366","https://openalex.org/W2470879859","https://openalex.org/W2508545064","https://openalex.org/W2524988069","https://openalex.org/W2528134256","https://openalex.org/W2536985169","https://openalex.org/W2538443008","https://openalex.org/W2551134403","https://openalex.org/W2553653057","https://openalex.org/W2554406986","https://openalex.org/W2558815275","https://openalex.org/W2569664737","https://openalex.org/W2574167712","https://openalex.org/W2580382314","https://openalex.org/W2594563654","https://openalex.org/W2607005253","https://openalex.org/W2614826960","https://openalex.org/W2735669400","https://openalex.org/W2741060909","https://openalex.org/W2762665826","https://openalex.org/W2773002878","https://openalex.org/W2786493219","https://openalex.org/W2884404272","https://openalex.org/W2950061798","https://openalex.org/W4214712303","https://openalex.org/W4249959811","https://openalex.org/W6730092696","https://openalex.org/W6748148888","https://openalex.org/W6763614900"],"related_works":["https://openalex.org/W3036403349","https://openalex.org/W1968510839","https://openalex.org/W2106507440","https://openalex.org/W2809618173","https://openalex.org/W2118572231","https://openalex.org/W3120172095","https://openalex.org/W2406499533","https://openalex.org/W2950360254","https://openalex.org/W1522369122","https://openalex.org/W1563456403"],"abstract_inverted_index":{"This":[0,170],"paper":[1,152],"deals":[2],"with":[3,86,110,114],"the":[4,40,81,91,119,142,168,176],"formal":[5,71],"verification":[6,53,72,92,105,120],"of":[7,59,73,83,106,150,167],"reconfigurable":[8,15,23],"discrete":[9],"event":[10],"control":[11],"systems":[12,19,85,163],"(RDECSs)":[13],"using":[14],"timed":[16],"net":[17],"condition/event":[18],"(R-TNCESs)":[20],"formalism.":[21],"A":[22],"system":[24,179],"switches":[25],"from":[26],"a":[27,46,67,87,135],"mode":[28],"to":[29,35,39,79,175],"another":[30],"during":[31],"its":[32,37],"working":[33],"process":[34],"adapt":[36],"behavior":[38],"related":[41],"environment.":[42],"By":[43],"including":[44],"such":[45],"feature,":[47],"RDECSs":[48,74],"become":[49],"complex":[50],"and":[51,62,94,104,118,129,159,164],"their":[52],"is":[54,75,112,145,153,173],"often":[55],"expensive":[56],"in":[57,77],"terms":[58],"computation":[60,157],"time":[61,93,158],"memory.":[63],"In":[64,133],"this":[65,151],"paper,":[66],"new":[68],"methodology":[69,144],"for":[70,161],"proposed":[76,98,143],"order":[78],"ensure":[80],"correctness":[82],"these":[84],"reduced":[88],"cost":[89],"(decreasing":[90],"memory":[95,160],"occupation).":[96],"The":[97,108,147],"contribution":[99,172],"includes":[100],"an":[101,122],"improved":[102],"modeling":[103,109],"RDECSs.":[107],"R-TNCESs":[111],"enriched":[113],"all":[115],"reconfiguration":[116],"forms,":[117],"involves":[121],"improvement":[123],"method":[124],"that":[125],"avoids":[126],"any":[127],"redundancy":[128],"cancels":[130],"unnecessary":[131],"calculations.":[132],"addition,":[134],"visual":[136],"tool":[137],"called":[138],"Rec-AG":[139],"based":[140],"on":[141],"developed.":[146],"performance":[148],"evaluation":[149],"achieved":[154],"by":[155],"measuring":[156],"several":[162],"different":[165],"sizes":[166],"problem.":[169],"paper's":[171],"applied":[174],"benchmark":[177],"production":[178],"FESTO.":[180]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":8}],"updated_date":"2026-06-16T09:24:06.705377","created_date":"2025-10-10T00:00:00"}