A model-based approach for planning blockchain service provisioning

C Melo, J Araujo, J Dantas, P Pereira, P Maciel - Computing, 2022 - Springer
Recently, the blockchain-as-a-service paradigm arose, and many works have evaluated the
performance issues related to it. However, not as much has been done regarding …

Availability models for hyper-converged cloud computing infrastructures

C Melo, J Dantas, A Oliveira, D Oliveira… - 2018 Annual IEEE …, 2018 - ieeexplore.ieee.org
The software-defined data center (SDDC) concept replaces the older, scattered and
disorganized silo-based architecture. The SDDC adoption implies the reduction of expenses …

A Petri net model for hardware/software codesign

P Maciel, E Barros, W Rosenstiel - Design Automation for Embedded …, 1999 - Springer
This work presents Petri nets as an intermediate model for hardware/software codesign. The
main reason of using of Petri nets is to provide a model that allows for formal qualitative and …

[PDF][PDF] Introdução às redes de petri

CRL Francês - … de Computação Aplicada, Universidade Federal do …, 2003 - dca.ufrn.br
A representação gráfica de uma rede de Petri básica é formada por dois componentes: um
ativo chamado de transição (barra) e outro passivo denominado lugar (círculo). Os lugares …

Maximising the availability of an internet of medical things system using surrogate models and nature-inspired approaches

GL Santos, D Gomes, FA Silva… - … Journal of Grid and …, 2022 - inderscienceonline.com
The emergence of new computing paradigms such as fog and edge computing provides the
Internet of Things with needed connectivity and high availability. In the context of e-health …

Performability Evaluation and Sensitivity Analysis of a Video Streaming on Demand Architecture

R Sousa, L Cristian, L Feitosa, E Choi, TA Nguyen… - Applied Sciences, 2023 - mdpi.com
In urban air mobility (UAM), video streaming platforms have gained significant attention from
media companies due to their growing necessity for on-demand video streaming services-as …

Forest fire monitoring system supported by unmanned aerial vehicles and edge computing: a performance evaluation using petri nets

A Sabino, LN Lima, C Brito, L Feitosa, MF Caetano… - Cluster …, 2024 - Springer
Forest fires cause damage to life, biodiversity, and properties, affecting natural ecosystems,
healthy and only. During the practical application of fire prevention, numerous detection …

Expolynomial modelling for supporting vanet infrastructure planning

A Lobo, R Matos, B Silva… - 2017 IEEE 22nd Pacific rim …, 2017 - ieeexplore.ieee.org
The deployment of Intelligent Transportation Systems (ITS) is a challenge for industry and
scientific community. Traffic characteristics change widely within a single day, therefore, ITS …

[HTML][HTML] Modeling of an automated integral logistics system using colored petri nets

MP Ochoa, J Davila - Ingeniería y competitividad, 2019 - scielo.org.co
A system is a set of heterogeneous elements that work in direct relation with each other for a
specific purpose; through its automation, it is possible to carry out productive processes with …

Desenvolvimento e avaliação de uma ferramenta interativa baseada em exemplos para o aprendizado de modelagem de sistemas usando redes de petri

JWS de Lima, TP Falcão… - Revista Brasileira de …, 2021 - journals-sol.sbc.org.br
Os sistemas computacionais têm se tornado cada vez mais complexos e isso tem
demandado o desenvolvimento de técnicas que garantam certas características, como alta …