References:
1. Muppala, J.K. and Trivedi, K.S. "Composite performance and availability analysis using a hierarchy of stochastic reward nets", The Proceedings of Fifth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pp. 335- 349, North-Holland (1992).
2. Asadi, A.N., Azgomi, M.A., and EntezariMaleki, R. "Unified power and performance analysis of cloud computing infrastructure using stochastic reward nets", Computer Communications, 138, pp. 67-80 (2019).
3. Asadi, A.N., Azgomi, M.A., and EntezariMaleki, R. "Analytical evaluation of resource allocation algorithms and process migration methods in virtualized systems", Sustainable Computing: Informatics and Systems, 25, pp. 1-16 (2020).
4. Asadi, A.N., Azgomi, M.A., and EntezariMaleki, R. "Evaluation of the impacts of failures and resource heterogeneity on the power consumption and performance of IaaS clouds", The Journal of Supercomputing, 75(5), pp. 2837-2861 (2019).
5. Entezari-Maleki, R., Sousa, L., and Movaghar, A. "Performance and power modeling and evaluation of virtualized servers in IaaS clouds", Information Sciences, 394-395, pp. 106-122 (2017).
6. Asadi, A.N., Azgomi, M.A., and Entezari-Maleki, R. "Model-based evaluation of the power versus performance of network routing algorithms", Computing, 103, pp. 1723-1746 (2021).
7. Ciardo, G., Muppala, J., and Trivedi, K. "SPNP: stochastic Petri net package", The Proceedings of the Third International Workshop on Petri Nets and Performance Models, pp. 142-151 Kyoto, Japan (1989).
8. Hirel, C., Tuffin, B., and Trivedi, K.S. "SPNP: Stochastic Petri nets. Version 6.0", The Proceedings of 11th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pp. 354-357, Schaumburg, IL, USA (2000).
9. Shaimaa, M.M., Hamza, H.S., and Saroit, I.A. "Coverage in mobile wireless sensor networks (M-WSN): A survey", Computer Communications, 110, pp. 133-150 (2017).
10. Chelouah, L., Semchedine, F., and Bouallouche-Medjkoune, L. "Localization protocols for mobile wireless sensor networks: A survey", Computers & Electrical Engineering, 71, pp. 733-751 (2018).
11. Diallo, O., Rodrigues, J.J., and Sene, M. "Performances evaluation and Petri nets", Modeling and Simulation of Computer Networks and Systems, M.S. Obaidat, P. Nicopolitidis and Z. Faouzi, Eds., pp. 313- 355, Morgan Kaufmann, Boston (2015).
12. Amezquita-Sanchez, J., Valtierra-Rodriguez, M., and Adeli, H. "Wireless smart sensors for monitoring the health condition of civil infrastructure", Scientia Iranica, 25(6), pp. 2913-2925 (2018).
13. Shamsaie, A., Habibi, J., Abdi, E., et al. "RUbIn: A framework for reliable and ubiquitous inference in WSNs", Scientia Iranica, 26 (Special Issue), pp. 3540- 3555 (2019).
14. Keskin, M.E., Altinel, K., Aras, N., et al. "Lifetime maximization in wireless sensor networks using a mobile sink with nonzero traveling time", The Computer Journal, 54(12), pp. 1987-1999 (2011).
15. Guo, J. and Jafarkhani, H. "Movement efficient sensor deployment in wireless sensor networks with limited communication range", IEEE Transactions on Wireless Communications, 18(7), pp. 3469-3484 (2019).
16. Sachan, S., Sharma, R., and Sehgal, A. "Energy efficient scheme for better connectivity in sustainable mobile wireless sensor networks", Sustainable Computing: Informatics and Systems, 30, pp. 1-11 (2021).
17. Mostafa, A. and Hassan, K. "Robust energy harvesting aware clustering with fuzzy Petri net reasoning algorithm", The 10th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), pp. 378-383, Larnaca, Cyprus (2014).
18. Nourredine, O. and Menouar, B. "A Petri net modeling for WSN sensors with renewable energy harvesting capability", International Conference in Artificial Intelligence in Renewable Energetic Systems, pp. 524-534 Tipaza, Algeria (2019).
19. D'Arienzo, M., Iacono, M., Marrone, S., et al. "Petri net based evaluation of energy consumption in wireless sensor nodes", Journal of High Speed Networks, 19(4), pp. 339-358 (2013).
20. Damaso, A., Rosa, N., and Maciel, P. "Using coloured Petri nets for evaluating the power consumption of wireless sensor networks", International Journal of Distributed Sensor Networks, 2014(5), pp. 1-13 (2014).
21. Damaso, A., Rosa, N., and Maciel, P. "Integrated evaluation of reliability and power consumption of wireless sensor networks", Sensors, 17(11), pp. 1-27 (2017).
22. Riouali, Y., Benhlima, L., and Bah, S. "An integrated turning movements estimation to Petri net based road traffic modeling", Journal of Sensor and Actuator Networks, 8(49), pp. 1-18 (2019).
23. Riouali, Y., Benhlima, L., and Bah, S. "Extended batches petri nets based system for road traffic management in WSNs", Journal of Sensor and Actuator Networks, 6(30), pp. 1-19 (2017).
24. Xiong, Y., Chen, G., Lu, M., et al. "A twophase lifetime-enhancing method for hybrid energyharvesting wireless sensor network", IEEE Sensors Journal, 20(4), pp. 1934-1946 (2020).
25. Alkhudair, S.A.S. and Ahmed, A.E.S. "Modeling the effect of data aggregation on the performance of wireless sensor network using colored Petri nets", The Second International Conference on Internet of Things, Data and Cloud Computing, pp. 1-6, New York, USA (2017).