{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T07:15:29Z","timestamp":1763968529487,"version":"3.37.3"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T00:00:00Z","timestamp":1684972800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T00:00:00Z","timestamp":1684972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2023,10]]},"DOI":"10.1007\/s00607-023-01183-9","type":"journal-article","created":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T02:02:18Z","timestamp":1684980138000},"page":"2263-2291","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs"],"prefix":"10.1007","volume":"105","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9093-1180","authenticated-orcid":false,"given":"Samir","family":"Tigane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6917-8032","authenticated-orcid":false,"given":"Fay\u00e7al","family":"Guerrouf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9739-7715","authenticated-orcid":false,"given":"Laid","family":"Kahloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,5,25]]},"reference":[{"issue":"1","key":"1183_CR1","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/TNSE.2021.3075428","volume":"9","author":"D Jiang","year":"2022","unstructured":"Jiang D, Wang Z, Wang W, Lv Z, Choo K-KR (2022) AI-assisted energy-efficient and intelligent routing for reconfigurable wireless networks. IEEE Trans Netw Sci Eng 9(1):78\u201388. https:\/\/doi.org\/10.1109\/TNSE.2021.3075428","journal-title":"IEEE Trans Netw Sci Eng"},{"issue":"7","key":"1183_CR2","doi-asserted-by":"publisher","first-page":"1120","DOI":"10.1109\/TSMC.2016.2645401","volume":"48","author":"H Grichi","year":"2018","unstructured":"Grichi H, Mosbahi O, Khalgui M, Li Z (2018) New power-oriented methodology for dynamic resizing and mobility of reconfigurable wireless sensor networks. IEEE Trans Syst Man Cybern Syst 48(7):1120\u20131130. https:\/\/doi.org\/10.1109\/TSMC.2016.2645401","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"issue":"3","key":"1183_CR3","doi-asserted-by":"publisher","first-page":"1446","DOI":"10.1109\/TSMC.2019.2897166","volume":"51","author":"Y Ben Aissa","year":"2021","unstructured":"Ben Aissa Y, Bachir A, Khalgui M, Koubaa A, Li Z, Qu T (2021) On feasibility of multichannel reconfigurable wireless sensor networks under real-time and energy constraints. IEEE Trans Syst Man Cybern Syst 51(3):1446\u20131461. https:\/\/doi.org\/10.1109\/TSMC.2019.2897166","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"1183_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2020.102263","volume":"107","author":"C Ma","year":"2020","unstructured":"Ma C, Li Y, Yang B, Zhang Y, Guo F (2020) Relay node placement for building wireless sensor networks with reconfigurability provision. Ad Hoc Netw 107:102263. https:\/\/doi.org\/10.1016\/j.adhoc.2020.102263","journal-title":"Ad Hoc Netw"},{"key":"1183_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2022.100515","author":"F Dur\u00e1n","year":"2022","unstructured":"Dur\u00e1n F, Krishna A, Le Pallec M, Mateescu R, Sala\u00fcn G (2022) Models and analysis for user-driven reconfiguration of rule-based IoT applications. Internet of Things. https:\/\/doi.org\/10.1016\/j.iot.2022.100515","journal-title":"Internet of Things"},{"issue":"8","key":"1183_CR6","doi-asserted-by":"publisher","first-page":"1775","DOI":"10.1007\/s00607-022-01071-8","volume":"104","author":"S El Khediri","year":"2022","unstructured":"El Khediri S (2022) Wireless sensor networks: a survey, categorization, main issues, and future orientations for clustering protocols. Computing 104(8):1775\u20131837","journal-title":"Computing"},{"issue":"7","key":"1183_CR7","doi-asserted-by":"publisher","first-page":"1125","DOI":"10.1109\/JPROC.2014.2376812","volume":"103","author":"A El-Mougy","year":"2015","unstructured":"El-Mougy A, Ibnkahla M, Hattab G, Ejaz W (2015) Reconfigurable wireless networks. Proc IEEE 103(7):1125\u20131158. https:\/\/doi.org\/10.1109\/JPROC.2014.2376812","journal-title":"Proc IEEE"},{"issue":"1","key":"1183_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.hcc.2021.100004","volume":"1","author":"Z Fang","year":"2021","unstructured":"Fang Z, Fu H, Gu T, Qian Z, Jaeger T, Hu P, Mohapatra P (2021) A model checking-based security analysis framework for IoT systems. High-Confid Comput 1(1):100004. https:\/\/doi.org\/10.1016\/j.hcc.2021.100004","journal-title":"High-Confid Comput"},{"key":"1183_CR9","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, languages and programming","author":"R Alur","year":"1990","unstructured":"Alur R, Dill D (1990) Automata for modeling real-time systems. In: Paterson MS (ed) Automata, languages and programming. Springer, Berlin, Heidelberg, pp 322\u2013335"},{"issue":"4","key":"1183_CR10","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"1183_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00607-012-0214-z","volume":"95","author":"A Mocci","year":"2013","unstructured":"Mocci A, Sangiorgio M (2013) Detecting component changes at run time with behavior models. Computing 95:191\u2013221","journal-title":"Computing"},{"key":"1183_CR12","doi-asserted-by":"crossref","unstructured":"Bettira R, Kahloul L, Khalgui M, Li Z (2019) Reconfigurable hierarchical timed automata: modeling and stochastic verification. In: 2019 IEEE international conference on systems, man and cybernetics (SMC), pp 2364\u20132371","DOI":"10.1109\/SMC.2019.8913890"},{"key":"1183_CR13","doi-asserted-by":"publisher","DOI":"10.3390\/axioms12030230","author":"S Tigane","year":"2023","unstructured":"Tigane S, Guerrouf F, Hamani N, Kahloul L, Khalgui M, Ali MA (2023) Dynamic timed automata for reconfigurable system modeling and verification. Axioms. https:\/\/doi.org\/10.3390\/axioms12030230","journal-title":"Axioms"},{"key":"1183_CR14","volume-title":"Modelling with generalized stochastic Petri nets","author":"MA Marsan","year":"1994","unstructured":"Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1994) Modelling with generalized stochastic Petri nets, 1st edn. Wiley Inc, New York, NY, USA","edition":"1"},{"issue":"8","key":"1183_CR15","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1016\/j.sysarc.2013.06.004","volume":"59","author":"S Babaie","year":"2013","unstructured":"Babaie S, Khosrohosseini A, Khadem-Zadeh A (2013) A new self-diagnosing approach based on Petri nets and correlation graphs for fault management in wireless sensor networks. J Syst Archit 59(8):582\u2013600. https:\/\/doi.org\/10.1016\/j.sysarc.2013.06.004","journal-title":"J Syst Archit"},{"issue":"9","key":"1183_CR16","doi-asserted-by":"publisher","first-page":"3427","DOI":"10.1007\/s00170-017-0800-5","volume":"94","author":"Y Zhang","year":"2018","unstructured":"Zhang Y, Wang W, Du W, Qian C, Yang H (2018) Coloured Petri net-based active sensing system of real-time and multi-source manufacturing information for smart factory. Int J Adv Manuf Technol 94(9):3427\u20133439","journal-title":"Int J Adv Manuf Technol"},{"key":"1183_CR17","doi-asserted-by":"publisher","first-page":"1789","DOI":"10.1007\/s00607-019-00707-6","volume":"101","author":"J Mendon\u00e7a","year":"2019","unstructured":"Mendon\u00e7a J, Andrade E, Lima R (2019) Assessing mobile applications performance and energy consumption through experiments and stochastic models. Computing 101:1789\u20131811","journal-title":"Computing"},{"key":"1183_CR18","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2020.107174","author":"M Zhou","year":"2020","unstructured":"Zhou M, Han L, Lu H, Fu C (2020) Distributed collaborative intrusion detection system for vehicular ad hoc networks based on invariant. Comput Netw. https:\/\/doi.org\/10.1016\/j.comnet.2020.107174","journal-title":"Comput Netw"},{"issue":"6","key":"1183_CR19","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1007\/s00607-020-00898-3","volume":"103","author":"S Zroug","year":"2021","unstructured":"Zroug S, Kahloul L, Benharzallah S, Djouani K (2021) A hierarchical formal method for performance evaluation of WSNs protocol. Computing 103(6):1183\u20131208","journal-title":"Computing"},{"issue":"10","key":"1183_CR20","doi-asserted-by":"publisher","first-page":"2401","DOI":"10.1007\/s00607-021-00979-x","volume":"103","author":"L Rodrigues","year":"2021","unstructured":"Rodrigues L, Gon\u00e7alves I, F\u00e9 I, Endo PT, Silva FA (2021) Performance and availability evaluation of an smart hospital architecture. Computing 103(10):2401\u20132435","journal-title":"Computing"},{"issue":"2","key":"1183_CR21","doi-asserted-by":"publisher","first-page":"1677","DOI":"10.1007\/s13369-022-06970-8","volume":"48","author":"N Oukas","year":"2023","unstructured":"Oukas N, Boulif M (2023) Sensor performance evaluation for long-lasting EH-WSNs by GSPN formulation, considering seasonal sunshine levels and dual standby strategy. Arab J Sci Eng 48(2):1677\u20131691","journal-title":"Arab J Sci Eng"},{"issue":"1","key":"1183_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s43684-022-00022-6","volume":"2","author":"G Vanson","year":"2022","unstructured":"Vanson G, Marang\u00e9 P, Levrat E (2022) End-of-life decision making in circular economy using generalized colored stochastic Petri nets. Auton Intell Syst 2(1):3","journal-title":"Auton Intell Syst"},{"issue":"3","key":"1183_CR23","doi-asserted-by":"publisher","first-page":"877","DOI":"10.1007\/s12555-020-0239-6","volume":"20","author":"Y-N Lin","year":"2022","unstructured":"Lin Y-N, Wang S-K, Chiou G-J, Yang C-Y, Shen VR, Juang TT-Y, Huang T-J (2022) Novel deadlock control for smartphone manufacturing systems using Petri nets. Int J Control Autom Syst 20(3):877\u2013887","journal-title":"Int J Control Autom Syst"},{"key":"1183_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-022-10243-y","author":"S Berger","year":"2022","unstructured":"Berger S, van Dun C, H\u00e4ckel B (2022) IT availability risks in smart factory networks-analyzing the effects of IT threats on production processes using Petri nets. Inf Syst Front. https:\/\/doi.org\/10.1007\/s10796-022-10243-y","journal-title":"Inf Syst Front"},{"key":"1183_CR25","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/s10626-021-00343-3","volume":"31","author":"M Camilli","year":"2021","unstructured":"Camilli M, Capra L (2021) Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discrete Event Dyn Syst 31:609\u2013657","journal-title":"Discrete Event Dyn Syst"},{"issue":"11","key":"1183_CR26","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G Chiola","year":"1993","unstructured":"Chiola G, Dutheillet C, Franceschinis G, Haddad S (1993) Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans Comput 42(11):1343\u20131360. https:\/\/doi.org\/10.1109\/12.247838","journal-title":"IEEE Trans Comput"},{"issue":"4","key":"1183_CR27","doi-asserted-by":"publisher","first-page":"1431","DOI":"10.1016\/j.cie.2009.07.013","volume":"57","author":"J Li","year":"2009","unstructured":"Li J, Dai X, Meng Z, Dou J, Guan X (2009) Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams. Comput Ind Eng 57(4):1431\u20131451","journal-title":"Comput Ind Eng"},{"issue":"10","key":"1183_CR28","doi-asserted-by":"publisher","first-page":"3577","DOI":"10.1109\/TSMC.2018.2855209","volume":"50","author":"Y Hafidi","year":"2020","unstructured":"Hafidi Y, Kahloul L, Khalgui M, Li Z, Alnowibet K, Qu T (2020) On methodology for the verification of reconfigurable timed net condition\/event systems. IEEE Trans Syst Man Cybern Syst 50(10):3577\u20133591","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"1183_CR29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2022.3225280","author":"S Tigane","year":"2022","unstructured":"Tigane S, Kahloul L, Hamani N, Khalgui M, Ali MA (2022) On quantitative properties preservation in reconfigurable generalized stochastic Petri nets. IEEE Trans Syst Man Cybern Syst. https:\/\/doi.org\/10.1109\/TSMC.2022.3225280","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"1183_CR30","doi-asserted-by":"crossref","unstructured":"Tigane S, Kahloul L, Baarir S, Bourekkache S (2020) Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. In: Proceedings of the 13th EAI international conference on performance evaluation methodologies and tools. VALUETOOLS \u201920, pp 164\u2013171. Association for Computing Machinery, New York, NY, USA","DOI":"10.1145\/3388831.3388854"},{"key":"1183_CR31","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-319-43425-4_11","volume-title":"Quantitative evaluation of systems","author":"S Balsamo","year":"2016","unstructured":"Balsamo S, Marin A, Stojic I (2016) SPNPS: a tool for perfect sampling in stochastic Petri nets. In: Agha G, Van Houdt B (eds) Quantitative evaluation of systems. Springer, Cham, pp 163\u2013166"},{"key":"1183_CR32","doi-asserted-by":"crossref","unstructured":"Dufourd C, Finkel A, Schnoebelen P (1998) Reset nets between decidability and undecidability. Automata. Languages and Programming. Springer, Berlin, Heidelberg, pp 103\u2013115","DOI":"10.1007\/BFb0055044"},{"issue":"2","key":"1183_CR33","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2005.02.003","volume":"127","author":"P Baldan","year":"2005","unstructured":"Baldan P, Corradini A, Montanari U (2005) Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. Electronic notes in theoretical computer science 127(2):5\u201328","journal-title":"Electronic notes in theoretical computer science"},{"key":"1183_CR34","doi-asserted-by":"publisher","unstructured":"K\u00f6nig B, Nolte D, Padberg J, Rensink A (2018) A Tutorial on Graph Transformation, pp. 83\u2013104. Springer, Cham . https:\/\/doi.org\/10.1007\/978-3-319-75396-6_5","DOI":"10.1007\/978-3-319-75396-6_5"},{"key":"1183_CR35","doi-asserted-by":"crossref","unstructured":"Kulcs\u00e1r G, Lochau M, Sch\u00fcrr A (2018) Graph-rewriting Petri nets. In: Graph Transformation, pp. 79\u201396. Springer, Cham","DOI":"10.1007\/978-3-319-92991-0_6"},{"key":"1183_CR36","doi-asserted-by":"crossref","unstructured":"Hoffmann K, Ehrig H, Mossakowski T (2005) High-level nets with nets and rules as tokens. In: Applications and theory of Petri nets 2005, pp. 268\u2013288. Springer, Berlin, Heidelberg","DOI":"10.1007\/11494744_16"},{"key":"1183_CR37","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11841883_6","volume-title":"Graph transformations","author":"L Lambers","year":"2006","unstructured":"Lambers L, Ehrig H, Orejas F (2006) Conflict detection for graph transformation with negative application conditions. Graph transformations. Springer, Berlin, Heidelberg, pp 61\u201376"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-023-01183-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00607-023-01183-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-023-01183-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T17:07:04Z","timestamp":1693328824000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00607-023-01183-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,25]]},"references-count":37,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["1183"],"URL":"https:\/\/doi.org\/10.1007\/s00607-023-01183-9","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"type":"print","value":"0010-485X"},{"type":"electronic","value":"1436-5057"}],"subject":[],"published":{"date-parts":[[2023,5,25]]},"assertion":[{"value":"22 August 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 May 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent to participate"}},{"value":"Not applicable.","order":5,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}},{"value":"Not applicable.","order":6,"name":"Ethics","group":{"name":"EthicsHeading","label":"Code availability"}}]}}