{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:07:43Z","timestamp":1746245263873,"version":"3.40.4"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T00:00:00Z","timestamp":1735516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T00:00:00Z","timestamp":1735516800000},"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":["Peer-to-Peer Netw. Appl."],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1007\/s12083-024-01865-x","type":"journal-article","created":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T01:58:35Z","timestamp":1735783115000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Unified modeling and evaluation of availability and power consumption in the internet of things"],"prefix":"10.1007","volume":"18","author":[{"given":"Amir","family":"Soleimani Borujerdi","sequence":"first","affiliation":[]},{"given":"Arman","family":"Sanahmadi","sequence":"additional","affiliation":[]},{"given":"Mohammad","family":"Abdollahi Azgomi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,12,30]]},"reference":[{"issue":"2","key":"1865_CR1","doi-asserted-by":"publisher","first-page":"1191","DOI":"10.1109\/COMST.2019.2962586","volume":"22","author":"M Stoyanova","year":"2020","unstructured":"Stoyanova M, Nikoloudakis Y, Panagiotakis S, Pallis E, Markakis EK (2020) A Survey on the internet of things (IoT) forensics: challenges, approaches, and open issues. IEEE Commun Surv Tutor 22(2):1191\u20131221","journal-title":"IEEE Commun Surv Tutor"},{"key":"1865_CR2","doi-asserted-by":"crossref","unstructured":"Ateeq M, Ishmanov F, Afzal MK, Naeem M (2019) Multi-parametric analysis of reliability and energy consumption in IoT: a deep learning approach. Sensors 19(2):309","DOI":"10.3390\/s19020309"},{"issue":"1","key":"1865_CR3","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1109\/COMST.2014.2363950","volume":"18","author":"I Al-Anbagi","year":"2016","unstructured":"Al-Anbagi I, Erol-Kantarci M, Mouftah HT (2016) A survey on cross-layer quality-of-service approaches in WSNs for delay and reliability-aware applications. IEEE Commun Surv Tutor 18(1):525\u2013552","journal-title":"IEEE Commun Surv Tutor"},{"issue":"5","key":"1865_CR4","doi-asserted-by":"publisher","first-page":"1185","DOI":"10.1109\/JIOT.2017.2701408","volume":"4","author":"A Brogi","year":"2017","unstructured":"Brogi A, Forti S (2017) QoS-aware deployment of IoT applications through the fog. IEEE Internet Things J 4(5):1185\u20131192","journal-title":"IEEE Internet Things J"},{"key":"1865_CR5","unstructured":"Boano CA, R\u00f6mer K, Voigt T (n.d.) RELYonIT: Dependability for the Internet of Things - IEEE Internet of Things. Available.\u00a0https:\/\/iot.ieee.org\/articles-publications\/newsletter\/january-2015\/relyonit-dependability-for-the-internet-of-things.html. Accessed 04 Nov 2023"},{"key":"1865_CR6","unstructured":"Sanders WH, Meyer JF (2002) Stochastic activity networks: formal definitions and concepts. In: European Educational Forum. Available: https:\/\/api.semanticscholar.org\/CorpusID:3203597. Accessed 01 Dec 2023"},{"key":"1865_CR7","unstructured":"Future of Industry Ecosystems: Shared Insights and Data | IDC Blog. Available.\u00a0https:\/\/blogs.idc.com\/2021\/01\/06\/future-of-industry-ecosystems-shared-data-and-insights\/. Accessed 18 Nov 2023"},{"key":"1865_CR8","unstructured":"Evans D (2011) The internet of things: how the next evolution of the internet is changing everything. [Online]. Available: http:\/\/www.cisco.com\/web\/about\/ac79\/docs\/innov\/IoT_IBSG_0411FINAL.pdf. Accessed 01 Dec 2023"},{"key":"1865_CR9","doi-asserted-by":"crossref","unstructured":"Jayakumar H, Lee K, Lee WS, Raha A, Kim Y, Raghunathan V (2014) Powering the internet of things. In: proceedings of the international symposium on Low power electronics and design, in ISLPED \u201914. New York, NY, USA: Association for Computing Machinery, pp 375\u2013380","DOI":"10.1145\/2627369.2631644"},{"key":"1865_CR10","doi-asserted-by":"crossref","unstructured":"Kakkar R, Kumari A, Agrawal S, Tanwar S (2023) GTS-CS: A game theoretic strategy for distributed EV charging station using multiple photovoltaic. In: 2023 IEEE International Conference on Power Electronics, Smart Grid, and Renewable Energy (PESGRE), pp 1\u20136","DOI":"10.1109\/PESGRE58662.2023.10404653"},{"key":"1865_CR11","unstructured":"Energy extraction from the biologic battery in the inner ear | Nature Biotechnology. [Online] Available: https:\/\/www.nature.com\/articles\/nbt.2394. Accessed 04 Nov 2023"},{"issue":"3","key":"1865_CR12","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1109\/JSSC.2012.2233352","volume":"48","author":"M Fojtik","year":"2013","unstructured":"Fojtik M et al (2013) A millimeter-scale energy-autonomous sensor system with stacked battery and solar cells. IEEE J Solid-State Circuits 48(3):801\u2013813","journal-title":"IEEE J Solid-State Circuits"},{"issue":"11","key":"1865_CR13","doi-asserted-by":"publisher","first-page":"1808","DOI":"10.1109\/JPROC.2010.2053333","volume":"98","author":"G Chen","year":"2010","unstructured":"Chen G, Hanson S, Blaauw D, Sylvester D (2010) Circuit Design Advances for Wireless Sensing Applications. Proc IEEE 98(11):1808\u20131827","journal-title":"Proc IEEE"},{"key":"1865_CR14","doi-asserted-by":"crossref","unstructured":"Raghunathan V, Chou PH (2006) Design and power management of energy harvesting embedded systems. In: ISLPED\u201906 Proceedings of the 2006 International Symposium on Low Power Electronics and Design, pp 369\u2013374","DOI":"10.1109\/LPE.2006.4271870"},{"key":"1865_CR15","doi-asserted-by":"publisher","first-page":"143101","DOI":"10.1063\/1.2905271","volume":"92","author":"CY Jiang","year":"2008","unstructured":"Jiang CY, Sun X, Tan K, Lo P, Kyaw A, Kwong D (2008) High-bendability flexible dye-sensitized solar cell with a nanoparticle-modified ZnO-nanowire electrode. Appl Phys Lett 92:143101","journal-title":"Appl Phys Lett"},{"issue":"8","key":"1865_CR16","doi-asserted-by":"publisher","first-page":"1624","DOI":"10.1109\/JSAC.2015.2391690","volume":"33","author":"M Gorlatova","year":"2015","unstructured":"Gorlatova M, Sarik J, Grebla G, Cong M, Kymissis I, Zussman G (2015) Movers and shakers: kinetic energy harvesting for the internet of things. IEEE J Sel Areas Commun 33(8):1624\u20131639","journal-title":"IEEE J Sel Areas Commun"},{"key":"1865_CR17","doi-asserted-by":"crossref","unstructured":"Jabbar H, Song YS, Jeong TT (2010) RF energy harvesting system and circuits for charging of mobile devices. IEEE Trans. Consum. Electron 56(1):247\u2013253","DOI":"10.1109\/TCE.2010.5439152"},{"key":"1865_CR18","doi-asserted-by":"crossref","unstructured":"Ramadass YK, Chandrakasan AP (2010) A batteryless thermoelectric energy-harvesting interface circuit with 35mV startup voltage. In: 2010 IEEE International Solid-State Circuits Conference - (ISSCC), pp 486\u2013487","DOI":"10.1109\/ISSCC.2010.5433835"},{"key":"1865_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9","volume-title":"Discrete, continuous, and hybrid Petri nets","author":"R David","year":"2010","unstructured":"David R, Alla H (2010) Discrete, continuous, and hybrid Petri nets. Springer, Berlin"},{"key":"1865_CR20","unstructured":"Movaghar A (1985) Performability Modeling with Stochastic Activity Networks, PhD Thesis, University of Michigan, USA"},{"key":"1865_CR21","unstructured":"The M\u00f6bius Tool: Home. [Online]. Available: https:\/\/www.mobius.illinois.edu\/. Accessed 01 Dec 2023"},{"key":"1865_CR22","doi-asserted-by":"crossref","unstructured":"Bouazza KE, Deabes W (2019) Smart petri nets temperature control framework for reducing building energy consumption. Sensors 19(11):2441","DOI":"10.3390\/s19112441"},{"issue":"1","key":"1865_CR23","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1186\/s40294-017-0043-1","volume":"5","author":"K Batool","year":"2017","unstructured":"Batool K, Niazi MA (2017) Modeling the internet of things: a hybrid modeling approach using complex networks and agent-based models. Complex Adapt Syst. Model 5(1):4","journal-title":"Complex Adapt Syst. Model"},{"key":"1865_CR24","doi-asserted-by":"crossref","unstructured":"Phartchayanusit V, Rongviriyapanish S. (2018) Safety property analysis of service-oriented iot based on interval timed coloured petri nets. In: (2018) 15th International Joint Conference on Computer Science and Software Engineering (JCSSE).pp. 1\u20136","DOI":"10.1109\/JCSSE.2018.8457326"},{"key":"1865_CR25","first-page":"10","volume":"16","author":"F Zhang","year":"2016","unstructured":"Zhang F, Xu Y, Chou J (2016) A novel Petri nets-based modeling method for the interaction between the sensor and the geographic environment in emerging sensor networks. Sensors 16:10","journal-title":"Sensors"},{"key":"1865_CR26","doi-asserted-by":"crossref","unstructured":"Araujo E, Dantas J, Matos R, Pereira P, Maciel P (2019) Dependability evaluation of an IoT system: a hierarchical modelling approach. In: IEEE International Conference on Systems, Man and Cybernetics (SMC), pp 2121\u20132126","DOI":"10.1109\/SMC.2019.8914032"},{"key":"1865_CR27","doi-asserted-by":"crossref","unstructured":"Andrade E, Nogueira B (2020) Dependability evaluation of a disaster recovery solution for IoT infrastructures. J Supercomput 76(3): 1828\u20131849.","DOI":"10.1007\/s11227-018-2290-0"},{"key":"1865_CR28","doi-asserted-by":"crossref","unstructured":"Yang R, Li B, Cheng C (2014) A Petri net-based approach to service composition and monitoring in the IOT. In: 2014 Asia-Pacific Services Computing Conference. pp 16\u201322","DOI":"10.1109\/APSCC.2014.11"},{"issue":"7","key":"1865_CR29","doi-asserted-by":"publisher","first-page":"2005","DOI":"10.1016\/j.compeleceng.2013.04.021","volume":"39","author":"I Silva","year":"2013","unstructured":"Silva I, Leandro R, Macedo D, Guedes LA (2013) A dependability evaluation tool for the internet of things. Comput Electr Eng 39(7):2005\u20132018","journal-title":"Comput Electr Eng"},{"key":"1865_CR30","doi-asserted-by":"crossref","unstructured":"Strielkina A, Kharchenko V, Uzun D (2018) Availability models for healthcare IoT systems: Classification and research considering attacks on vulnerabilities. In: 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT), pp 58\u201362","DOI":"10.1109\/DESSERT.2018.8409099"},{"key":"1865_CR31","doi-asserted-by":"crossref","unstructured":"Kolisnyk M, Kharchenko V, Iryna P, Bardis N (2017) A Markov Model of IoT System availability considering DDos attacks and energy modes of server and Router, In: ICTERI2017, Kiev,\u00a0vol 14. Ukraine","DOI":"10.1007\/978-3-030-00253-4_9"},{"key":"1865_CR32","doi-asserted-by":"crossref","unstructured":"Sanahmadi A, Azgomi MA, Goudarzi S (2023) An SRN-based model for quantitative evaluation of IoT quality attributes. Internet Things 23:100894","DOI":"10.1016\/j.iot.2023.100894"},{"key":"1865_CR33","doi-asserted-by":"crossref","unstructured":"Kumari A, Tanwar S (2023) A vehicle-to-vehicle wireless energy sharing scheme using blockchain. In: IEEE International Conference on Communications Workshops (ICC Workshops), pp 1582\u20131587","DOI":"10.1109\/ICCWorkshops57953.2023.10283623"},{"key":"1865_CR34","doi-asserted-by":"crossref","unstructured":"Nourredine O, Abderrezak D, Karima A, Mira H (2022) A fluid approach to model and assess the energy level of autonomous devices in IoT with solar energy harvesting capability. In 2022 5th International Symposium on Informatics and its Applications (ISIA).1\u20136","DOI":"10.1109\/ISIA55826.2022.9993564"},{"key":"1865_CR35","doi-asserted-by":"crossref","unstructured":"Nourredine O, Menouar B (2021) A new stochastic petri nets modeling for dual cluster heads configuration in energy-harvesting WSNs. In: 2020 2nd International Workshop on Human-Centric Smart Environments for Health and Well-being (IHSH), Boumerdes, Algeria, pp 142\u2013147","DOI":"10.1109\/IHSH51661.2021.9378741"},{"issue":"11","key":"1865_CR36","doi-asserted-by":"publisher","first-page":"e5505","DOI":"10.1002\/dac.5505","volume":"36","author":"O Nourredine","year":"2023","unstructured":"Nourredine O, Menouar B, Campo E, van den Bossche A (2023) A new generalized stochastic Petri net modeling for energy-harvesting-wireless sensor network assessment. Int J Commun Syst 36(11):e5505","journal-title":"Int J Commun Syst"},{"key":"1865_CR37","doi-asserted-by":"crossref","unstructured":"Oukas N, Boulif M, Hadiouche H, Bengharabi C (2022) A new Petri nets for wsns to model the behaviour of solar-energy harvesting sensors with double sleeping strategy. In: 2022 2nd International Conference on Computing and Information Technology (ICCIT), pp 237\u2013242","DOI":"10.1109\/ICCIT52419.2022.9711606"},{"issue":"1","key":"1865_CR38","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/s12083-020-00943-0","volume":"14","author":"S Balamurugan","year":"2021","unstructured":"Balamurugan S, Ayyasamy A, Joseph KS (2021) Enhanced Petri nets for traceability of food management using internet of things. Peer-Peer Netw Appl 14(1):30\u201343","journal-title":"Peer-Peer Netw Appl"},{"key":"1865_CR39","doi-asserted-by":"crossref","unstructured":"Macedo D, Guedes LA, Silva I (2014) A dependability evaluation for Internet of Things incorporating redundancy aspects. In: Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014, pp 417\u2013422","DOI":"10.1109\/ICNSC.2014.6819662"},{"issue":"6","key":"1865_CR40","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/TC.2011.96","volume":"61","author":"C Di Martino","year":"2012","unstructured":"Di Martino C, Cinque M, Cotroneo D (2012) Automated generation of performance and dependability models for the assessment of wireless sensor networks. IEEE Trans Comput 61(6):870\u2013884","journal-title":"IEEE Trans Comput"},{"key":"1865_CR41","doi-asserted-by":"crossref","unstructured":"Bruneo D, Puliafito A, Scarpa M (2010) Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes. In: Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, in DYADEM-FTS \u201910. New York, NY, USA: Association for Computing Machinery, pp 25\u201330","DOI":"10.1145\/1772630.1772637"},{"key":"1865_CR42","unstructured":"Sanders WH, Meyer JF (1986) METASAN: A performability evaluation tool based on stochastic acitivity networks. In: Fall Joint Computer Conference, [Online]. Available: https:\/\/api.semanticscholar.org\/CorpusID:35092208. Accessed 01 Dec 2023"},{"issue":"1","key":"1865_CR43","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0166-5316(95)00012-M","volume":"24","author":"WH Sanders","year":"1995","unstructured":"Sanders WH, Obal WD, Qureshi MA, Widjanarko FK (1995) The UltraSAN modeling environment. Perform Eval 24(1):89\u2013115","journal-title":"Perform Eval"},{"key":"1865_CR44","doi-asserted-by":"crossref","unstructured":"Daly D, Deavours DD, Doyle JM, Webster PG, Sanders WH (2000) M\u00f6bius: an extensible tool for performance and dependability modeling. In: Haverkort BR, Bohnenkamp HC, Smith CU (eds) Computer performance evaluation. Modelling Techniques and Tools. TOOLS 2000. Lecture Notes in Computer Science, vol 1786. Springer, Berlin, Heidelberg","DOI":"10.1007\/3-540-46429-8_25"},{"key":"1865_CR45","doi-asserted-by":"crossref","unstructured":"Sanders WH (1999) Integrated frameworks for multi-level and multi-formalism modeling. In: Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331), pp 2\u20139","DOI":"10.1109\/PNPM.1999.796527"}],"container-title":["Peer-to-Peer Networking and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12083-024-01865-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s12083-024-01865-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12083-024-01865-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T13:54:42Z","timestamp":1746194082000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s12083-024-01865-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,30]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,3]]}},"alternative-id":["1865"],"URL":"https:\/\/doi.org\/10.1007\/s12083-024-01865-x","relation":{},"ISSN":["1936-6442","1936-6450"],"issn-type":[{"type":"print","value":"1936-6442"},{"type":"electronic","value":"1936-6450"}],"subject":[],"published":{"date-parts":[[2024,12,30]]},"assertion":[{"value":"2 February 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 September 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 December 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval"}},{"value":"There are no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent to publish"}},{"value":"The authors declare no competing interests.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"6"}}