Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets

Azgomi, Mohammad Abdollahi; Khalili, Ali

doi:10.1016/j.entcs.2009.06.021

Cited by 18 publications

(6 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Em [1] foi utilizada uma modelagem em Rede de Petri Colorida para avaliar um protocolo de controle de acesso, permitindo maiores níveis de abstração. Como a Rede de Petri Coloridá e hierárquica, ela permite a construção de um grande módulo como um conjunto de pequenos módulos, uns ligados aos outros, permitindo, assim, redução de um modelo mais complexo em partes menores.…”

Section: Trabalhos Relacionadosunclassified

Um Modelo Matemático para Estimativas do Consumo de Energia em Redes de Sensores Visuais sem Fio

Cerqueira

Costa

2019

Tend. Mat. Apl. Comput.

View full text Add to dashboard Cite

Recebido em 16 junho 2018 / Aceito em 22 janeiro 2019 RESUMO. As redes de sensores sem fio alcançaram um papel de destaque no cenário atual das novas tecnologias de comunicação, centradas em aplicações de Internet das Coisas e Cidades Inteligentes, sobretudo quando câmeras são utilizadas para obter dados visuais do ambiente monitorado. Nessas redes, questões de eficiência energética são centrais, uma vez que, frequentemente, sensores são alimentados por bateria. Para tanto, um correto e eficiente planejamento energético de redes de sensores sem fioé fundamental para diversas aplicações, levandoà escolha mais apropriada dos sensores, dos protocolos de comunicação e das unidades de monitoramento. Assim, visando dar suporte a estimativas de desempenho de redes de sensores visuais sem fio, permitindo análises teóricas sem necessitar da implantação física das redes, este artigo propõe um novo modelo matemático para estimativas de consumo de energia de sensores equipados com câmeras, permitindo importantes avaliações de desempenho antes da implantação de redes reais. Além desse modelo matemático, este artigo também apresenta uma nova ferramenta computacional, EnergyWVSN, desenvolvida para facilitar o uso prático do modelo proposto.Palavras-chave: rede de sensores visuais sem fio, modelagem matemática, consumo de energia, avaliação de desempenho.

show abstract

Section: Trabalhos Relacionadosunclassified

Um Modelo Matemático para Estimativas do Consumo de Energia em Redes de Sensores Visuais sem Fio

Cerqueira

Costa

2019

Tend. Mat. Apl. Comput.

View full text Add to dashboard Cite

show abstract

“…In this work we used a formal modeling and analysis technique in order to perform both performance evaluation and model checking [3] with CPNs [4]. CPNs are an appropriate modeling language and an extension of Petri Networks.…”

Section: A Coloured Petri Netsmentioning

confidence: 99%

“…CPNs are an appropriate modeling language and an extension of Petri Networks. A key benefit of using CPNs is to obtain complete and unambiguous specifications of system behavior [3].…”

Section: A Coloured Petri Netsmentioning

confidence: 99%

“…Coloured Petri Nets (CPNs) is an extension of Petri Nets (PNs) that is recognized by its capability and flexibility in modeling complex systems [3]. The PN is one of popular discrete event dynamic system modeling approaches [5], its structure is a four-tuple (P, T, I, O) structure [6] explained as follows:…”

Section: A Coloured Petri Netsmentioning

confidence: 99%

“…A CPN structure [3] is an extended PN-tuple by a finite set of non-empty types, called colour sets, a node function, a colour function, an arc function and an initialization function. …”

Section: A Coloured Petri Netsmentioning

confidence: 99%

See 2 more Smart Citations

A behavioural study of nodes to conserve energy in wireless sensor networks

Charfi

Masmoudi

Ferchichi³

et al. 2010

5th International Conference on Design &Amp; Technology of Integrated Systems in Nanoscale Era

View full text Add to dashboard Cite

This paper puts forward an optimization in routing processing for wireless sensor networks. The sensor node in such network is a battery-operated sensing device. These nodes are placed in space with a consideration to a base station that centralizes and consolidates the data transmitted or forwarded by sensor nodes. When optimizing the management of a Wireless Sensor Network, we have to take care of the consumption of energy that takes place while sensor nodes are running the routing process to send or relay a message to neighbors or to a Base Station. In this paper, we put forward a study of sensors' behavior by modeling and implementing a controller with Coloured Petri Network in order to ensure the reduction of energy consumption in some sensor networks in which each node can be activated or suspended as need be. The controller must deal with activation and suspension to apply a reconfiguring policy to nodes depending on an energy supply level in every sensor in order to obtain the lowest level possible of energy consumption and maintain the same service quality consisting in total coverage of the region to survey and the connection of active nodes to the functional network. The evaluation of our presented model is made by CPN-Tools.

show abstract

A new generalized stochastic Petri net modeling for energy‐harvesting‐wireless sensor network assessment

Oukas

Boulif

Campo

et al. 2023

Int J Communication

View full text Add to dashboard Cite

This paper proposes an energy-harvesting-aware model that aims to assess the performances of wireless sensor networks. Our model uses generalized stochastic Petri nets to define a sensor-neighbors relationship abstraction. The novelty of the proposed formulation is taking into account several real-life considerations such as battery-over breakdowns, unavailability of neighbors, retrial attempts, and sleeping mechanism in a single model. We use TimeNet tool to simulate the network behavior in order to evaluate its performance throughout different formulas after it had reached its steady state. Finally, we present a case study featuring the different solar energy recovery capabilities of the vast Algerian territory. The aim is to show with the presented model how to determine the kind of resources to be acquired in order to cope with the sensor deployment project requirements. The proposed model allows us to ensure that the battery energy level of sensors deployed in Algiers province for example is almost equal to 80% for 100 messages per day and (1 min/2 min) for (awakening time/sleeping time) ratio.

show abstract

Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets

Cited by 18 publications

References 4 publications

Um Modelo Matemático para Estimativas do Consumo de Energia em Redes de Sensores Visuais sem Fio

Um Modelo Matemático para Estimativas do Consumo de Energia em Redes de Sensores Visuais sem Fio

A behavioural study of nodes to conserve energy in wireless sensor networks

A new generalized stochastic Petri net modeling for energy‐harvesting‐wireless sensor network assessment

Contact Info

Product

Resources

About