{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T15:43:19Z","timestamp":1780933399778,"version":"3.54.1"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030402228","type":"print"},{"value":"9783030402235","type":"electronic"}],"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_12","type":"book-chapter","created":{"date-parts":[[2020,2,8]],"date-time":"2020-02-08T05:02:50Z","timestamp":1581138170000},"page":"246-266","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3543-6731","authenticated-orcid":false,"given":"Yousra","family":"Hafidi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laid","family":"Kahloul","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6311-3588","authenticated-orcid":false,"given":"Mohamed","family":"Khalgui","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamed","family":"Ramdani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,2,9]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Schumi, R.: Statistical model checking meets property-based testing. In: Proceedings IEEE International Conference on Software Testing, Verification and Validation ICST, pp. 390\u2013400. IEEE (2017)","DOI":"10.1109\/ICST.2017.42"},{"issue":"4","key":"12_CR2","first-page":"25","volume":"11","author":"P Arcaini","year":"2017","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Formal design and verification of self-adaptive systems with decentralized control. ACM Trans. Auton. Adapt. Syst. (TAAS) 11(4), 25 (2017)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"key":"12_CR3","unstructured":"Badouel, E., Oliver, J.: Reconfigurable nets, a class of high level Petri nets supporting dynamic changes within workflow systems. Ph.D. thesis, Inria (1998)"},{"key":"12_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":"12_CR5","doi-asserted-by":"crossref","unstructured":"Ben Salah, H., Benzina, A., Khalgui, M.: Verification of reconfigurable NoC under quality of service constraints. In: Proceedings IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), pp. 329\u2013334. IEEE (2016)","DOI":"10.1109\/COMPSAC.2016.218"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"1786","DOI":"10.1002\/rcs.1786","volume":"13","author":"MO Ben Salem","year":"2016","unstructured":"Ben Salem, M.O., Mosbahi, O., Khalgui, M., Jlalia, Z., Frey, G., Smida, M.: BROMETH: methodology to design safe reconfigurable medical robotic systems. Int. J. Med. Robot. Comput. Assist. Surg. 13(3), 1786 (2016). \nhttps:\/\/doi.org\/10.1002\/rcs.1786","journal-title":"Int. J. Med. Robot. Comput. Assist. Surg."},{"key":"12_CR7","unstructured":"Biermann, E., Modica, T.: Independence analysis of firing and rule-based net transformations in reconfigurable object nets. Electron. Commun. EASST 10 (2008)"},{"key":"12_CR8","volume-title":"Handbook of Model Checking","author":"EM Clarke","year":"2016","unstructured":"Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R.: Handbook of Model Checking. Springer, Heidelberg (2016)"},{"key":"12_CR9","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 IEEE Trustcom\/BigDataSE\/ISPA, vol. 3, pp. 287\u2013292, August 2015","DOI":"10.1109\/Trustcom.2015.646"},{"key":"12_CR10","unstructured":"Guellouz, S., Benzina, A., Khalgui, M., Frey, G.: ZiZo: a complete tool chain for the modeling and verification of reconfigurable function blocks. In: UBICOMM 2016: the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, 10 2016 (2016)"},{"key":"12_CR11","first-page":"1","volume":"99","author":"Y Hafidi","year":"2018","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)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"12_CR12","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). \nhttps:\/\/doi.org\/10.5220\/0007736603940401","DOI":"10.5220\/0007736603940401"},{"key":"12_CR13","unstructured":"Hanisch, H.M., Thieme, J., Luder, A., Wienhold, O.: Modeling of PLC behavior by means of timed net condition\/event systems. In: Proceedings 6th International Conference on Emerging Technologies and Factory Automation Proceedings, pp. 391\u2013396. IEEE (1997)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Hasan, O., Tahar, S.: Formal verification methods. In: Encyclopedia of Information Science and Technology, 3rd (edn.), pp. 7162\u20137170. IGI Global (2015)","DOI":"10.4018\/978-1-4666-5888-2.ch705"},{"issue":"8","key":"12_CR15","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1080\/0951192X.2015.1130262","volume":"29","author":"L Kahloul","year":"2016","unstructured":"Kahloul, L., Bourekkache, S., Djouani, K.: Designing reconfigurable manufacturing systems using reconfigurable object Petri nets. Int. J. Comput. Integr. Manuf. 29(8), 889\u2013906 (2016)","journal-title":"Int. J. Comput. Integr. Manuf."},{"issue":"4","key":"12_CR16","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."},{"issue":"3","key":"12_CR17","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.compind.2009.09.004","volume":"61","author":"M Khalgui","year":"2010","unstructured":"Khalgui, M.: NCES-based modelling and CTL-based verification of reconfigurable embedded control systems. Comput. Ind. 61(3), 198\u2013212 (2010)","journal-title":"Comput. Ind."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Khlifi, O., Mosbahi, O., Khalgui, M., Frey, G.: GR-TNCES: new extensions of R-TNCES for modelling and verification of flexible systems under energy and memory constraints. In: Proceedings 10th International Joint Conference on Software Technologies (ICSOFT), vol. 1, pp. 1\u20138. IEEE (2015)","DOI":"10.5220\/0005523503730380"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Khlifi, O., Mosbahi, O., Khalgui, M., Frey, G.: New verification approach for reconfigurable distributed systems. In: Proceedings 12th International Conference on Software and Data Technologies ICSOFT, pp. 355\u2013362, 01 2017 (2017)","DOI":"10.5220\/0006434003550362"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"623","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, 623\u2013637 (2018)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"3","key":"12_CR21","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1109\/JPROC.2015.2397832","volume":"103","author":"JC Lyke","year":"2015","unstructured":"Lyke, J.C., Christodoulou, C.G., Vera, G.A., Edwards, A.H.: An introduction to reconfigurable systems. Proc. IEEE 103(3), 291\u2013317 (2015)","journal-title":"Proc. IEEE"},{"issue":"4","key":"12_CR22","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":"12_CR23","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":"12_CR24","doi-asserted-by":"crossref","unstructured":"Patil, S., Vyatkin, V., Pang, C.: Counterexample-guided simulation framework for formal verification of flexible automation systems. In: Proceedings IEEE 13th International Conference on Industrial Informatics (INDIN), pp. 1192\u20131197, July 2015","DOI":"10.1109\/INDIN.2015.7281905"},{"key":"12_CR25","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). \nhttps:\/\/doi.org\/10.5220\/0006863005910598","DOI":"10.5220\/0006863005910598"},{"key":"12_CR26","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). \nhttps:\/\/doi.org\/10.5220\/0007736801590168","DOI":"10.5220\/0007736801590168"},{"key":"12_CR27","unstructured":"Rausch, M., Hanisch, H.M.: Net condition\/event systems with multiple condition outputs. In: Proceedings Emerging Technologies and Factory Automation, vol. 1, pp. 592\u2013600. IEEE (1995)"},{"key":"12_CR28","volume-title":"Analysing Signal-Net Systems","author":"PH Starke","year":"2002","unstructured":"Starke, P.H., Roch, S.: Analysing Signal-Net Systems. Citeseer, New York (2002)"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Wang, C., Pastore, F., Briand, L.: System testing of timing requirements based on use cases and timed automata. In: Proceedings IEEE International Conference on Software Testing, Verification and Validation ICST. IEEE (2017)","DOI":"10.1109\/ICST.2017.34"},{"issue":"1","key":"12_CR30","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1109\/TII.2015.2500161","volume":"12","author":"X Wang","year":"2016","unstructured":"Wang, X., Li, Z., Wonham, W.M.: Dynamic multiple-period reconfiguration of real-time scheduling based on timed DES supervisory control. IEEE Trans. Ind. Inf. 12(1), 101\u2013111 (2016). \nhttps:\/\/doi.org\/10.1109\/TII.2015.2500161","journal-title":"IEEE Trans. Ind. Inf."},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Yanase, R., Sakai, T., Sakai, M., Yamane, S.: Formal verification of dynamically reconfigurable systems. In: Proceedings IEEE 4th Global Conference on Consumer Electronics (GCCE), pp. 71\u201375, October 2015","DOI":"10.1109\/GCCE.2015.7398597"},{"key":"12_CR32","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"},{"key":"12_CR33","first-page":"14","volume":"2015","author":"J Zhang","year":"2015","unstructured":"Zhang, J., et al.: Modeling and verification of reconfigurable and energy-efficient manufacturing systems. Discret. Dyn. Nat. Soc. 2015, 14 (2015)","journal-title":"Discret. Dyn. Nat. Soc."},{"issue":"1","key":"12_CR34","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 Sys. Techn. 23(1), 323\u2013330 (2015)","journal-title":"IEEE Trans. Control Sys. Techn."},{"issue":"4","key":"12_CR35","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. Systems Man Cybern. Syst. 43(4), 757\u2013772 (2013)","journal-title":"IEEE Trans. Systems Man Cybern. Syst."}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,8]],"date-time":"2020-02-08T05:05:00Z","timestamp":1581138300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-40223-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030402228","9783030402235"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-40223-5_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"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)"}}]}}