{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:24:06Z","timestamp":1743096246969,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319225715"},{"type":"electronic","value":"9783319225722"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22572-2_28","type":"book-chapter","created":{"date-parts":[[2015,8,22]],"date-time":"2015-08-22T09:50:56Z","timestamp":1440237056000},"page":"381-395","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network"],"prefix":"10.1007","author":[{"given":"Sajeh","family":"Zairi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anis","family":"Mezni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Belhassen","family":"Zouari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,23]]},"reference":[{"issue":"16","key":"28_CR1","first-page":"1","volume":"79","author":"V Chandrasekaran","year":"2013","unstructured":"Chandrasekaran, V., Anitha, S., Shanmugam, A.: A research survey on experimental tools for simulating wireless sensor networks. Int. J. Comput. Appl. 79(16), 1\u20139 (2013)","journal-title":"Int. J. Comput. Appl."},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Despaux, F., Song, Y.-Q., Lahmadi, A.: Modelling and performance analysis of wireless sensor networks using process mining techniques: ContikiMAC use case. In: DCOSS 2014, pp. 1\u20138 (2014)","DOI":"10.1109\/DCOSS.2014.20"},{"key":"28_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/b95112","volume-title":"Colored Petri Nets \u2013 Modeling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.: Colored Petri Nets \u2013 Modeling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"key":"28_CR4","unstructured":"Ibrahim, D., et al.: Coloured petri net model for vector-based forwarding routing protocol. In: International conference on Computing Technology and Information Management (2014)"},{"key":"28_CR5","first-page":"397","volume":"2006","author":"R Jurdak","year":"2004","unstructured":"Jurdak, R., Lopes, C.V., Baldi, P.: Battery lifetime estimation and optimization for underwater sensor networks. IEEE Sens. Netw. Oper. 2006, 397\u2013420 (2004)","journal-title":"IEEE Sens. Netw. Oper."},{"key":"28_CR6","unstructured":"Lacerda, B., Lima, P.U.: Petri nets as an analysis tool for data flow in wireless sensor networks. In: 1st Portuguese Conference on WSNs, Coimbra, Portugal, pp. 1\u20136 (2011)"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Venkatesan, L., et al.: A survey on modeling and enhancing reliability of wireless sensor network. Wireless Sens. Netw., 41\u201351 (2013)","DOI":"10.4236\/wsn.2013.53006"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Rodriguez, H., Carvajal, R., Ontiveros, B., Soto, I.: Using petri net for modeling and analysis of an encryption scheme for wireless sensor network. In: Pawlewski, P. (ed.) InTech (2010)","DOI":"10.5772\/7508"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Samper, L., Maraninchi, F., Mounier, L., Mandel, L.: Glonemo: global and accurate formal models for the analysis of ad-hoc sensor networks. In: Proceedings of the First International Conference on Integrated Internet ad hoc and Sensor Networks. ACM (2006)","DOI":"10.1145\/1142680.1142684"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Shareef, A., Zhu, Y.: Energy modeling sensor nodes based on petri nets. In: Parallel Processing, pp. 101\u2013110 (2010)","DOI":"10.1109\/ICPP.2010.19"},{"issue":"8","key":"28_CR11","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/MCOM.2002.1024422","volume":"40","author":"N Xu","year":"2002","unstructured":"Xu, N.: A survey of sensor network applications. IEEE Commun. Mag. 40(8), 102\u2013114 (2002)","journal-title":"IEEE Commun. Mag."},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Yu, Z., Liu, Y., Cai, Y.: Design of an energy-efficient distributed multi-level clustering algorithm for wireless sensor networks. In: Wireless Communications, Networking and Mobile Computing, WiCOM 2008 (2008)","DOI":"10.1109\/WiCom.2008.839"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Ben-Othman, J., Diagne, S., Mokdad, L., Yahia, B.: Performance evaluation of a medium access control protocol for wireless sensor networks using petri nets, HET-NETs 2010 (2010)","DOI":"10.1145\/1868521.1868574"},{"key":"28_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.entcs.2009.06.021","volume":"242","author":"MA Azgomi","year":"2009","unstructured":"Azgomi, M.A., Khalili, A.: Performance evaluation of sensor medium access control protocol using colored petri nets. Electron. Notes Theor. Comput. Sci. 242, 31\u201342 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"28_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-27820-7_4","volume-title":"Algorithmic Aspects of Wireless Sensor Networks","author":"A El-Hoiydi","year":"2004","unstructured":"El-Hoiydi, A., Decotignie, J.-D.: WiseMAC: an ultra low power MAC protocol for multi-hop wireless sensor networks. In: Nikoletseas, S.E., Rolim, J.D. (eds.) ALGOSENSORS 2004. LNCS, vol. 3121, pp. 18\u201331. Springer, Heidelberg (2004)"},{"key":"28_CR16","unstructured":"Zairi, S., Niel, E., Zouari, B.: Global generic model for formal validation of the wireless sensor networks properties. In: 18th IFAC World Congress Milano (Italy), August 28\u2013September 2 (2011)"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Polastre, J., Hill, J., Culler, D.: Versatile low power media access for sensor networks. In: Proceedings of the Second ACM Conference on Embedded Networked Sensor Systems (SenSys), November 3\u20135, 2004","DOI":"10.1145\/1031495.1031508"}],"container-title":["Lecture Notes in Computer Science","Wired\/Wireless Internet Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22572-2_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,13]],"date-time":"2023-08-13T10:02:19Z","timestamp":1691920939000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22572-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319225715","9783319225722"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22572-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"23 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}