{"id":"https://openalex.org/W2966937342","doi":"https://doi.org/10.5220/0007979901290140","title":"New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs","display_name":"New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2966937342","doi":"https://doi.org/10.5220/0007979901290140","mag":"2966937342"},"language":"en","primary_location":{"id":"doi:10.5220/0007979901290140","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0007979901290140","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Conference on Software Technologies","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0007979901290140","any_repository_has_fulltext":null},"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/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"]},{"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/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":true,"raw_author_name":"Yousra Hafidi","raw_affiliation_strings":["School of Electrical and Information Engineering, Jinan University, China, LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, China, LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, University of Tunis El Manar, Tunis and Tunisia, --- Select a Country ---","institution_ids":["https://openalex.org/I63596082","https://openalex.org/I42731748","https://openalex.org/I179097149"]}]},{"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":["LINFI Laboratory, Computer Science Department, Biskra University and Algeria, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, Computer Science Department, Biskra University and Algeria, --- Select a Country ---","institution_ids":["https://openalex.org/I206961696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102803559","display_name":"Mohamed Khalgui","orcid":"https://orcid.org/0000-0001-6311-3588"},"institutions":[{"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":["TN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["School of Electrical and Information Engineering, Jinan University, China, LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080 and Tunisia, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, China, LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080 and Tunisia, --- Select a Country ---","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5081266998"],"corresponding_institution_ids":["https://openalex.org/I179097149","https://openalex.org/I42731748","https://openalex.org/I63596082"],"apc_list":null,"apc_paid":null,"fwci":0.194,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53411584,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"129","last_page":"140"},"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.9976000189781189,"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.9976000189781189,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9937000274658203,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.7963019013404846},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.792930006980896},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7818602323532104},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7793073654174805},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.7393292188644409},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5876448154449463},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.47032201290130615},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.44847816228866577},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4438883066177368},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3874463140964508},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.26391568779945374},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.25369468331336975},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20933547616004944},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1847372055053711}],"concepts":[{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.7963019013404846},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.792930006980896},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7818602323532104},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7793073654174805},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7393292188644409},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5876448154449463},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47032201290130615},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.44847816228866577},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4438883066177368},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3874463140964508},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26391568779945374},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.25369468331336975},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20933547616004944},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1847372055053711},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0007979901290140","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0007979901290140","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Conference on Software Technologies","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0007979901290140","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0007979901290140","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Conference on Software Technologies","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5699999928474426,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W1500907979","https://openalex.org/W2039577724","https://openalex.org/W2380814829","https://openalex.org/W1551903405","https://openalex.org/W2499946963","https://openalex.org/W2387511021","https://openalex.org/W1531156418","https://openalex.org/W2095048141"],"abstract_inverted_index":{"This":[0],"paper":[1],"deals":[2],"with":[3,30,117],"reconfigurable":[4,14,57,78,88],"discrete":[5],"event":[6],"control":[7],"systems":[8,18,49,58,79,89],"(RDECSs).":[9],"We":[10,115],"model":[11],"RDECSs":[12,91,131],"using":[13,83,132],"timed":[15],"net":[16],"condition/event":[17],"(R-TNCESs)":[19,133],"formalism":[20,134],"which":[21],"is":[22,59,164,176],"an":[23],"extension":[24],"from":[25],"Petri":[26],"nets":[27],"to":[28,43,62,76,94,142,154,166,184],"deal":[29,116],"reconfiguration":[31],"properties.":[32],"Model-based":[33],"diagnosis":[34,81,159],"algorithms":[35],"are":[36],"widely":[37],"used":[38,156],"in":[39,157],"academia":[40],"and":[41,47,103,112,150,187],"industry":[42],"detect":[44],"faulty":[45],"components":[46],"ensure":[48],"safety.":[50],"The":[51,85,138,161],"application":[52],"of":[53,73,98,130,181,189],"these":[54],"methods":[55],"on":[56,127],"impossible":[60],"due":[61],"their":[63,107],"special":[64],"behavior.":[65],"In":[66],"this":[67],"paper,":[68],"we":[69],"propose":[70],"accomplishing":[71],"techniques":[72],"backward":[74,128],"reachability":[75,129],"make":[77,106],"model-based":[80,158],"possible":[82,147],"R-TNCESs.":[84],"flexibility":[86],"among":[87,193],"like":[90],"allows":[92],"them":[93],"challenge":[95],"recent":[96],"requirements":[97],"markets.":[99],"However,":[100],"such":[101],"properties":[102],"complicated":[104],"behavior":[105],"verification":[108],"task":[109],"being":[110],"complex":[111],"sometimes":[113],"impossible.":[114],"the":[118,182,190],"previous":[119],"problem":[120,183],"by":[121],"proposing":[122],"a":[123,152,167,173],"new":[124],"methodology":[125,140,192],"based":[126],"including":[135],"improvement":[136],"methods.":[137],"proposed":[139,191],"serves":[141],"reduce":[143],"as":[144,146],"much":[145],"redundant":[148],"computations":[149],"gives":[151],"package":[153],"be":[155],"algorithms.":[160],"paper\u2019s":[162],"contribution":[163],"applied":[165],"benchmark":[168],"modular":[169],"production":[170],"system.":[171],"Finally,":[172],"performance":[174],"evaluation":[175],"achieved":[177],"for":[178],"different":[179],"sizes":[180],"study":[185],"benefits":[186],"limits":[188],"large-scale":[194],"systems.":[195]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}