{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:29:27Z","timestamp":1742981367540,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030529901"},{"type":"electronic","value":"9783030529918"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-52991-8_6","type":"book-chapter","created":{"date-parts":[[2020,7,21]],"date-time":"2020-07-21T15:04:41Z","timestamp":1595343881000},"page":"108-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and\u00a0Faulty Components: A Case Study on\u00a0SGrids"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3543-6731","authenticated-orcid":false,"given":"Yousra","family":"Hafidi","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"}]}],"member":"297","published-online":{"date-parts":[[2020,7,22]]},"reference":[{"key":"6_CR1","unstructured":"Aissa, Y.B., Bachir, A., Khalgui, M., Koubaa, A., Li, Z., Qu, T.: On feasibility of multichannel reconfigurable wireless sensor networks under real-time and energy constraints. IEEE Trans. Syst. Man Cybern. Syst. (2019)"},{"key":"6_CR2","unstructured":"Aissa, Y.B., Mosbahi, O., Khalgui, M., Bachir, A.: New scheduling mechanism in multi-channel reconfigurable WSN under QoS and energy constraints. In: 32nd Annual European Simulation and Modelling Conference 2018, pp. 187\u2013191 (2018)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/3-540-58152-9_4","volume-title":"Application and Theory of Petri Nets 1994","author":"C Anglano","year":"1994","unstructured":"Anglano, C., Portinale, L.: B-W analysis: a backward reachability analysis for diagnostic problem solving suitable to parallel implementation. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 39\u201358. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-58152-9_4"},{"key":"6_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J., Larsen, K.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Bennoui, H., Chaoui, A., Barkaoui, K.: Distributed causal model-based diagnosis based on interacting behavioral Petri nets, pp. 99\u2013106 (2009)","DOI":"10.14236\/ewic\/ISIICT2009.15"},{"issue":"1","key":"6_CR6","first-page":"72","volume":"18","author":"YM Berghout","year":"2019","unstructured":"Berghout, Y.M., Bennoui, H.: Distributed diagnosis based on distributed probability propagation nets. Int. J. Comput. Sci. Eng. 18(1), 72\u201379 (2019)","journal-title":"Int. J. Comput. Sci. Eng."},{"issue":"4","key":"6_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/IJWSR.2018100101","volume":"15","author":"GP Bhandari","year":"2018","unstructured":"Bhandari, G.P., Gupta, R., Upadhyay, S.K.: Colored Petri nets based fault diagnosis in service oriented architecture. Int. J. Web Serv. Res. (IJWSR) 15(4), 1\u201328 (2018)","journal-title":"Int. J. Web Serv. Res. (IJWSR)"},{"key":"6_CR8","doi-asserted-by":"publisher","unstructured":"Cong, X., Fanti, M.P., Mangini, A.M., Li, Z.: Decentralized diagnosis by Petri nets and integer linear programming. IEEE Trans. Syst. Man Cybern. Syst. (2017). https:\/\/doi.org\/10.1109\/TSMC.2017.2726108","DOI":"10.1109\/TSMC.2017.2726108"},{"issue":"5","key":"6_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S1474-6670(17)36467-4","volume":"36","author":"J De Kleer","year":"2003","unstructured":"De Kleer, J., Kurien, J.: Fundamentals of model-based diagnosis. IFAC Proc. Vol. 36(5), 25\u201336 (2003)","journal-title":"IFAC Proc. Vol."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Dubinin, V., Vyatkin, V., Hanisch, H.M.: Synthesis of safety controllers for distributed automation systems on the basis of reverse safe net condition\/event systems. In: Proceedings of the Trustcom\/BigDataSE\/ISPA, vol. 3, pp. 287\u2013292. IEEE (2015)","DOI":"10.1109\/Trustcom.2015.646"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Gharsellaoui, H., Gharbi, A., Khalgui, M., Ahmed, S.B.: Feasible automatic reconfigurations of real-time OS tasks. In: Handbook of Research on Industrial Informatics and Manufacturing Intelligence: Innovations and Solutions, pp. 390\u2013414. IGI Global (2012)","DOI":"10.4018\/978-1-4666-0294-6.ch017"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"14078","DOI":"10.1109\/ACCESS.2018.2799852","volume":"6","author":"I Ghribi","year":"2018","unstructured":"Ghribi, I., Abdallah, R.B., Khalgui, M., Li, Z., Alnowibet, K., Platzner, M.: R-codesign: codesign methodology for real-time reconfigurable embedded systems under energy constraints. IEEE Access 6, 14078\u201314092 (2018)","journal-title":"IEEE Access"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"Hafidi, Y., Kahloul., L., Khalgui., M.: New methodology for backward analysis of reconfigurable event control systems using R-TNCESs. In: Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT, pp. 129\u2013140. INSTICC, SciTePress (2019). https:\/\/doi.org\/10.5220\/0007979901290140","DOI":"10.5220\/0007979901290140"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Hafidi, Y., Kahloul, L., Khalgui, M., Li, Z., Alnowibet, K., Qu, T.: On methodology for the verification of reconfigurable timed net condition\/event systems. IEEE Trans. Syst. Man Cybern. Syst. (99), 1\u201315 (2018)","DOI":"10.1109\/TSMC.2018.2855209"},{"key":"6_CR15","doi-asserted-by":"publisher","unstructured":"Hafidi., Y., Kahloul., L., Khalgui., M., Ramdani., M.: On improved verification of reconfigurable real-time systems. In: Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, pp. 394\u2013401. INSTICC, SciTePress (2019). https:\/\/doi.org\/10.5220\/0007736603940401","DOI":"10.5220\/0007736603940401"},{"volume-title":"Readings in Model-based Diagnosis","year":"1992","key":"6_CR16","unstructured":"Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model-based Diagnosis. Morgan Kaufmann Publishers Inc., San Francisco (1992)"},{"issue":"4","key":"6_CR17","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1109\/TC.2010.96","volume":"60","author":"M Khalgui","year":"2011","unstructured":"Khalgui, M., Mosbahi, O., Li, Z., Hanisch, H.M.: Reconfigurable multiagent embedded control systems: from modeling to implementation. IEEE Trans. Comput. 60(4), 538\u2013551 (2011)","journal-title":"IEEE Trans. Comput."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Khalgui, M., Rebeuf, X., Simonot-Lion, F.: A behavior model for IEC 61499 function blocks. In: Proceedings of the 3rd Workshop on Modelling of Objects, Components, and Agents, pp. 71\u201388 (2004)","DOI":"10.3182\/20051114-2-MX-3901.00011"},{"key":"6_CR19","series-title":"Lecture Notes in Networks and Systems","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-319-98352-3_17","volume-title":"Advances in Computing Systems and Applications","author":"B Khawla","year":"2019","unstructured":"Khawla, B., Moln\u00e1r, B.: An FSM approach for hypergraph extraction based on business process modeling. In: Demigha, O., Djamaa, B., Amamra, A. (eds.) CSA 2018. LNNS, vol. 50, pp. 158\u2013168. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-98352-3_17"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Lakhdhar, W., Mzid, R., Khalgui, M., Li, Z., Frey, G., Al-Ahmari, A.: Multiobjective optimization approach for a portable development of reconfigurable real-time systems: from specification to implementation. IEEE Trans. Syst. Man Cybern. Syst. (2018)","DOI":"10.1109\/TSMC.2017.2781460"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/3-540-15199-0_22","volume-title":"Formal Methods and Software Development","author":"NG Leveson","year":"1985","unstructured":"Leveson, N.G., Stolzy, J.L.: Analyzing safety and fault tolerance using Time Petri nets. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds.) TAPSOFT 1985. LNCS, vol. 186, pp. 339\u2013355. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/3-540-15199-0_22"},{"issue":"2","key":"6_CR22","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1109\/TITS.2015.2478910","volume":"17","author":"B Liu","year":"2016","unstructured":"Liu, B., Ghazel, M., Toguy\u00e9ni, A.: Model-based diagnosis of multi-track level crossing plants. IEEE Trans. Intell. Transp. Syst. 17(2), 546\u2013556 (2016)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"4","key":"6_CR23","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"6_CR24","unstructured":"Naidji, I., Smida, M.B., Khalgui, M., Bachir, A.: Non cooperative game theoretic approach for residential energy management in smart grid. In: The 32nd Annual European Simulation and Modelling Conference, Ghent, Belgium, pp. 164\u2013170 (2018)"},{"key":"6_CR25","unstructured":"P\u00f3zna, A.I., Gerzson, M., Leitold, A., Hangos, K.: Colored Petri net based diagnosis of process systems (2016)"},{"issue":"3","key":"6_CR26","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1109\/TSMCA.2011.2169955","volume":"42","author":"M Qin","year":"2012","unstructured":"Qin, M., Li, Z., Zhou, M., Khalgui, M., Mosbahi, O.: Deadlock prevention for a class of Petri nets with uncontrollable and unobservable transitions. IEEE Trans. Syst. Man Cybern. Part Syst. Hum. 42(3), 727\u2013738 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern. Part Syst. Hum."},{"key":"6_CR27","doi-asserted-by":"publisher","unstructured":"Ramdani, M., Kahloul, L., Khalgui, M.: Automatic properties classification approach for guiding the verification of complex reconfigurable systems. In: Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT, pp. 591\u2013598. INSTICC, SciTePress (2018). https:\/\/doi.org\/10.5220\/0006863005910598","DOI":"10.5220\/0006863005910598"},{"key":"6_CR28","doi-asserted-by":"publisher","unstructured":"Ramdani., M., Kahloul., L., Khalgui., M., Hafidi., Y.: R-TNCES rebuilding: A new method of CTL model update for reconfigurable systems. In: Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, pp. 159\u2013168. INSTICC, SciTePress (2019). https:\/\/doi.org\/10.5220\/0007736801590168","DOI":"10.5220\/0007736801590168"},{"key":"6_CR29","unstructured":"Wang, X., Khalgui, M., Li, Z.: Dynamic low power reconfigurations of real-time embedded systems. In: PECCS, pp. 415\u2013420 (2011)"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"28028","DOI":"10.1109\/ACCESS.2017.2757044","volume":"6","author":"J Zhang","year":"2017","unstructured":"Zhang, J., Frey, G., Al-Ahmari, A., Qu, T., Wu, N., Li, Z.: Analysis and control of dynamic reconfiguration processes of manufacturing systems. IEEE Access 6, 28028\u201328040 (2017)","journal-title":"IEEE Access"},{"issue":"4","key":"6_CR31","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1109\/TSMCA.2012.2217321","volume":"43","author":"J Zhang","year":"2013","unstructured":"Zhang, J., Khalgui, M., Li, Z., Mosbahi, O., Al-Ahmari, A.: R-TNCES: a novel formalism for reconfigurable discrete event control systems. IEEE Trans. Syst. Man Cybern. Syst. 43(4), 757\u2013772 (2013)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"6_CR32","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.ins.2017.07.009","volume":"417","author":"S Zhang","year":"2017","unstructured":"Zhang, S., Wu, N., Li, Z., Qu, T., Li, C.: Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement. Inf. Sci. 417, 247\u2013261 (2017)","journal-title":"Inf. Sci."},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Ziouche, L., Meskina, S.B., Khalgui, M., Kahloul, L., Li, Z.: Smart grid rebuilding based on cloud computing architecture. In: 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), pp. 2259\u20132266. IEEE (2019)","DOI":"10.1109\/SMC.2019.8914432"}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-52991-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T20:00:12Z","timestamp":1667505612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-52991-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030529901","9783030529918"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-52991-8_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"22 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOFT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoft2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoft.org\/?y=2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"116","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}