{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T15:15:20Z","timestamp":1726067720924},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030402228"},{"type":"electronic","value":"9783030402235"}],"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"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-40223-5_13","type":"book-chapter","created":{"date-parts":[[2020,2,8]],"date-time":"2020-02-08T10:02:50Z","timestamp":1581156170000},"page":"267-285","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Ramdani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laid","family":"Kahloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Khalgui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yousra","family":"Hafidi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,2,9]]},"reference":[{"key":"13_CR1","unstructured":"Baier, C., Katoen, J.P., Larsen, K.G.: Principles of Model Checking. MIT Press (2008)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-30080-9_7"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/j.entcs.2009.02.044","volume":"231","author":"P Bouyer","year":"2009","unstructured":"Bouyer, P.: Model-checking timed temporal logics. Electron. Notes Theor. Comput. Sci. 231, 323\u2013341 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.artint.2014.02.005","volume":"211","author":"M Carrillo","year":"2014","unstructured":"Carrillo, M., Rosenblueth, D.A.: CTL update of Kripke models through protections. Artif. Intell. 211, 51\u201374 (2014)","journal-title":"Artif. Intell."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Ding, Y., Zhang, Y.: System modification case studies. In: 2007 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, vol. 2, pp. 355\u2013360. IEEE (2007)","DOI":"10.1109\/COMPSAC.2007.206"},{"key":"13_CR6","doi-asserted-by":"publisher","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. 1\u201315 (2018). \nhttps:\/\/doi.org\/10.1109\/TSMC.2018.2855209","DOI":"10.1109\/TSMC.2018.2855209"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"2068","DOI":"10.1109\/ACCESS.2017.2781459","volume":"6","author":"W Housseyni","year":"2018","unstructured":"Housseyni, W., Mosbahi, O., Khalgui, M., Li, Z., Yin, L.: Multiagent architecture for distributed adaptive scheduling of reconfigurable real-time tasks with energy harvesting constraints. IEEE Access 6, 2068\u20132084 (2018). \nhttps:\/\/doi.org\/10.1109\/ACCESS.2017.2781459","journal-title":"IEEE Access"},{"issue":"3","key":"13_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1504\/IJMIC.2011.039701","volume":"12","author":"M Khalgui","year":"2011","unstructured":"Khalgui, M., Hanisch, H.M.: Automatic NCES-based specification and sesa-based verification of feasible control components in benchmark production systems. Int. J. Model. Identif. Control. 12(3), 223\u2013243 (2011)","journal-title":"Int. J. Model. Identif. Control."},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSMC.2017.2781460","volume":"49","author":"W Lakhdhar","year":"2018","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. 49(3), 1\u201315 (2018). \nhttps:\/\/doi.org\/10.1109\/TSMC.2017.2781460","journal-title":"IEEE Trans. Syst. Man Cybern.: Syst."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Mart\u00ednez-Araiza, U., L\u00f3pez-Mellado, E.: A CTL model repair method for Petri nets. In: 2014 World Automation Congress (WAC), pp. 654\u2013659. IEEE (2014)","DOI":"10.1109\/WAC.2014.6936082"},{"issue":"7","key":"13_CR11","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.ifacol.2015.06.487","volume":"48","author":"U Mart\u00ednez-Araiza","year":"2015","unstructured":"Mart\u00ednez-Araiza, U., L\u00f3pez-Mellado, E.: CTL model repair for bounded and deadlock free Petri nets. IFAC-PapersOnLine 48(7), 154\u2013160 (2015)","journal-title":"IFAC-PapersOnLine"},{"issue":"2","key":"13_CR12","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1016\/j.ifacol.2016.03.002","volume":"49","author":"U Martinez-Araiza","year":"2016","unstructured":"Martinez-Araiza, U., L\u00f3pez-Mellado, E.: CTL model repair for inter-organizational business processes modelled as oWFN. IFAC-PapersOnLine 49(2), 6\u201311 (2016)","journal-title":"IFAC-PapersOnLine"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-319-75396-6_11","volume-title":"Graph Transformation, Specifications, and Nets","author":"J Padberg","year":"2018","unstructured":"Padberg, J., Kahloul, L.: Overview of reconfigurable Petri nets. In: Heckel, R., Taentzer, G. (eds.) Graph Transformation, Specifications, and Nets. LNCS, vol. 10800, pp. 201\u2013222. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-75396-6_11"},{"key":"13_CR14","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. INSTICC, pp. 159\u2013168. SciTePress (2019). \nhttps:\/\/doi.org\/10.5220\/0007736801590168","DOI":"10.5220\/0007736801590168"},{"key":"13_CR15","unstructured":"Starke, P.H., Roch, S.: Analysing Signal-Net Systems. Professoren des Inst. f\u00fcr Informatik (2002)"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"28028","DOI":"10.1109\/ACCESS.2017.2757044","volume":"6","author":"J Zhang","year":"2018","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 (2018). \nhttps:\/\/doi.org\/10.1109\/ACCESS.2017.2757044","journal-title":"IEEE Access"},{"issue":"4","key":"13_CR17","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.M.: R-TNCES: a novel formalism for reconfigurable discrete event control systems. IEEE Trans. Syst. Man Cybern.: Syst. 43(4), 757\u2013772 (2013). \nhttps:\/\/doi.org\/10.1109\/TSMCA.2012.2217321","journal-title":"IEEE Trans. Syst. Man Cybern.: Syst."},{"issue":"1","key":"13_CR18","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1109\/TCST.2014.2313352","volume":"23","author":"J Zhang","year":"2015","unstructured":"Zhang, J., Khalgui, M., Li, Z., Frey, G., Mosbahi, O., Salah, H.B.: Reconfigurable coordination of distributed discrete event control systems. IEEE Trans. Control Syst. Technol. 23(1), 323\u2013330 (2015)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1613\/jair.2420","volume":"31","author":"Y Zhang","year":"2008","unstructured":"Zhang, Y., Ding, Y.: CTL model update for system modifications. J. Artif. Intell. Res. 31, 113\u2013155 (2008)","journal-title":"J. Artif. Intell. Res."}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-40223-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,8]],"date-time":"2020-02-08T10:06:45Z","timestamp":1581156405000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-40223-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030402228","9783030402235"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-40223-5_13","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":"9 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ENASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Evaluation of Novel Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Heraklion, Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","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":"4 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 May 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":"enase2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.enase.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":"102","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":"19","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":"19% - 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":"3","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":"3","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)"}}]}}