504 Hits in 5.4 sec

Energy Modeling of Processors in Wireless Sensor Networks Based on Petri Nets

Ali Shareef, Yifeng Zhu
2008 Parallel Processing  
This paper demonstrates that Petri nets are a viable option of modeling a processor.  ...  Power minimization is a serious issue in wireless sensor networks to extend the lifetime and minimize costs.  ...  Evaluation of CPU with Markov and Petri Net Modeling Energy Consumption of CPU using a Markov model Intrinsically, embedded systems operating in a wireless sensor network offer great potential for power  ... 
doi:10.1109/icpp-w.2008.35 dblp:conf/icppw/ShareefZ08 fatcat:fl4rbyv4bzfqnifqx5kvvuobte

Energy Modeling of Wireless Sensor Nodes Based on Petri Nets

Ali Shareef, Yifeng Zhu
2010 2010 39th International Conference on Parallel Processing  
This paper develops a detailed probabilistic model based on Petri nets to evaluate the energy consumption of a wireless sensor node.  ...  Energy minimization is of great importance in wireless sensor networks in extending the battery lifetime.  ...  ACKNOWLEDGMENTS This work was supported in part by NSF Grants (GK-12 #0538457, IGERT #0504494, IIS #0916663, CCF #0937988, CCF #0621493, CCF #0754951, EPS #0904155).  ... 
doi:10.1109/icpp.2010.19 dblp:conf/icpp/ShareefZ10 fatcat:rqgj3cvgyjggjh7bqymbrx5qqq

Effective Stochastic Modeling of Energy-Constrained Wireless Sensor Networks

Ali Shareef, Yifeng Zhu
2012 Journal of Computer Networks and Communications  
Energy consumption of energy-constrained nodes in wireless sensor networks (WSNs) is a fatal weakness of these networks.  ...  We demonstrate Petri net models of wireless sensor nodes that incorporate the complex interactions between the processing and communication components of an WSN.  ...  Acknowledgments This work was supported in part by NSF Grants (GK-12 no. 0538457, IGERT no. 0504494, CNS no. 1117032, EAR no. 1027809, IIS no. 091663, CCF no. 0937988, CCF no. 0737583, CCF no. 0621493)  ... 
doi:10.1155/2012/870281 fatcat:vv3wbabownh7znbcdonszohapi

Modeling and Analysis of Communication Subsystem design Process for Wireless Sensor Networks based on Petri Net

2019 International journal of recent technology and engineering  
This article is devoted to development of energy efficient communication system design process model based on Petri Net for Wireless Sensor Networks.  ...  Wireless Sensor Networks (WSNs) have numerous applications in the field of engineering. These networks have variety of design constraints and energy is most important one.  ...  Modeling and Analysis of Communication Subsystem design Process for Wireless Sensor Networks based on Petri Net The cover-ability tree explaining the movement from one state to another can be made in graphic  ... 
doi:10.35940/ijrte.d4202.118419 fatcat:ed6sykwbqjcr5gznrtuf2vjux4

Structural modeling of industrial wireless sensor and actuator networks for reconfigurable mechatronic systems

Reza Abrishambaf, Majid Hashemipour, Mert Bal
2012 The International Journal of Advanced Manufacturing Technology  
Petri net as a mathematical modeling language is employed in order to demonstrate the performance of the proposed methodology.  ...  In this thesis, a novel methodology for the development and structural modeling of industrial wireless sensors and actuators is presented in order to provide flexibility and reconfigurability to the mechatronic  ...  This is a general Petri net model for a wireless sensor and actuator node. For the sake of simplicity, a sensor and an actuator are considered.  ... 
doi:10.1007/s00170-012-4070-y fatcat:mnlnrimx4va6piszhpocckzpam

Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks

Diego Martínez, Apolinar González, Francisco Blanes, Raúl Aquino, José Simo, Alfons Crespo
2011 Sensors  
This paper presents a design and validation method for Wireless Sensor and Actuator Networks (WSAN) which is supported on a minimal set of wireless components represented in Colored Petri Nets (CPN).  ...  A current trend in the development and implementation of industrial applications is to use wireless networks to communicate the system nodes, mainly to increase application flexibility, reliability and  ...  Acknowledgements This work was developed as a part of the D2ARS Project supported by CYTED.  ... 
doi:10.3390/s110101059 pmid:22344203 pmcid:PMC3274114 fatcat:f53z52duijdczpkttlykxx2254

Asynchrnous Architecture for Sensor Network Nodes [chapter]

Aurélien Buhrig, Marc Renaudin, Dominique Barthel
2006 IFIP International Federation for Information Processing  
We present an asynchronous software and hardware architecture specifically suited for wireless sensor network nodes.  ...  The software part that is executed on an asynchronous processor is then scheduled using a quasi-static scheduling and operates in an event-driven way with reactive hardware through an interface controller  ...  This scheduling is found using an algorithm whose core is based on the algorithm proposed in [14] and applied to the Petri Net model of the whole system.  ... 
doi:10.1007/0-387-31173-4_30 fatcat:gter464f7rfm3bbyd7swclkbkq

Global generic model for formal validation of the wireless sensor networks properties

Sajeh ZAIRI, Eric NIEL, Belhassen ZOUARI
2011 IFAC Proceedings Volumes  
Formal modelling techniques can be used for the analysis of wireless sensor networks (WSNs). High level Petri nets (HLP-nets) that is an extension of Petri nets is a powerful modelling technique.  ...  Add to the simulation possibility, formal verification of the network properties is also enabled based on the proposed HLP-net model.  ...  The work of [Shareef and Zhu (2008) ] presents a Petri net modelling the energy consumption of a processor in WSNs.  ... 
doi:10.3182/20110828-6-it-1002.01652 fatcat:5dmg3vbzxnbrzbcjevwfoo2oci

Model Checking Techniques for Verification of an Encryption Scheme for Wireless Sensor Networks [article]

Zohra Sbaï, Mohamed Escheikh
2013 arXiv   pre-print
In this paper, we deal with the formal verification of an encryption scheme for Wireless Sensor Networks (WSNs).  ...  To achieve our goal, we propose to specify WSNs models written in Petri nets using Promela constructs in order to verify correctness properties of them using SPIN Model checker.  ...  In this context, we presented in this paper an approach for the verification of an encryption scheme for Wireless Sensor Networks modelled by Petri nets using one of the main powerful formal methods: model  ... 
arXiv:1305.4247v1 fatcat:o3xbovhnfjhbhdfkg7bjstkbii

Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network [chapter]

Sajeh Zairi, Anis Mezni, Belhassen Zouari
2015 Lecture Notes in Computer Science  
This approach is based on the concept of components oriented modeling and the expressiveness of Colored Petri Nets (CP-NET).  ...  In this context, we have proposed a modeling approach considering the global behavior of a sensor network and allowing the estimation of the network's energy consumption.  ...  Introduction A wireless sensor network (WSN) is a wireless network consisting of spatially distributed autonomous devices using sensors to cooperatively monitor physical or environmental conditions, such  ... 
doi:10.1007/978-3-319-22572-2_28 fatcat:otzxkzabjreyjmxlq2ngviy6ra

Energy Consumption Evaluation for Wireless Sensor Network Nodes Based on Queuing Petri Net

J. Li, H. Y. Zhou, D. C. Zuo, K. M. Hou, H. P. Xie, P. Zhou
2014 International Journal of Distributed Sensor Networks  
Due to the large scale of wireless sensor networks (WSN) and the huge density of WSN nodes, classical performance evaluation techniques face new challenges in view of the complexity and diversity in WSN  ...  Event-Driven QPN Model of WSN Nodes WSN nodes adopt the component-based system architecture and the event-driven operation mode. In this paper, we define  ...  In this paper, we propose an event-driven queuing Petri net(QPN) model to simulate the energy consumption behaviors of sensor nodes in Section 2.  ... 
doi:10.1155/2014/262848 fatcat:2uy57pcabjhrvcdblpbn2zut5u

Lifetime Evaluation of Wireless Sensor Networks

Varghese Thattil, N Vasantha
2011 CVR Journal of Science and Technology  
The estimation of useful life of Wireless Sensor Network can be carried out by preparing a fault model of the WSN system. The system fault model can be used to predict the system survivability.  ...  Wireless Senor Networks (WSN) are coming of in age and are being installed in many applications.  ...  Failures in wireless sensor networks can occur for various reasons [4] Faults in Wireless Sensor Networks can occur at several protocol layers of the system.  ... 
doi:10.32377/cvrjst0107 fatcat:7nwxtkvhcrfwvk3fydixghdkny

Modelling Networked Agents' Behaviour using Timed Hybrid Petri Nets

Berenice Gudiño-Mendoza, Ernesto López-Mellado
2013 Procedia Technology - Elsevier  
Abstra This pa its dyn modell as a se functio Keywor  ...  of the net based on simulations.  ...  Section 5 introduces several concepts on sensor networks and the THPN model of a sensor node.  ... 
doi:10.1016/j.protcy.2013.04.036 fatcat:tdpuepgrwndr3d7ub4ajj6eaum

Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow [chapter]

Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
2013 Lecture Notes in Computer Science  
A Wireless Sensor Network (WSN), made of distributed autonomous nodes, is designed to monitor physical or environmental conditions.  ...  Their design must consider energy constraints, concurrency issues, node heterogeneity, while still meeting the quality requirements of life-critical applications.  ...  The Energy dimension is modeled by a one-place Petri net. This place's initial marking depends on the initial energy of the node.  ... 
doi:10.1007/978-3-642-40465-8_2 fatcat:uqlrfmb66vgtreppf4jpnpzesa

Wireless Sensor Actuator Network Architecture and Energy model of a Camera based Lighting Management System

Susan G Varghese, Ciji Pearl Kurian, Cyril Joseph
2022 IEEE Access  
The first part of this paper investigates the architecture and energy consumption of camera-based wireless sensor-actuator nodes with the help of energy models, including a control unit for the Light Management  ...  IEEE 802.15.4 standard based networking techniques for the climate-adaptive light management system and its energy model for sensor actuator node is the focus of this paper.  ...  Different methods available to evaluate the energy consumption of WSAN nodes are finite state machine, stochastic analysis, petri net and analytical model [2] .  ... 
doi:10.1109/access.2022.3154587 fatcat:orun73kll5ddlas74ughpswu7a
« Previous Showing results 1 — 15 out of 504 results