A model-based approach for planning blockchain service provisioning
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 …
performance issues related to it. However, not as much has been done regarding …
Availability models for hyper-converged cloud computing infrastructures
The software-defined data center (SDDC) concept replaces the older, scattered and
disorganized silo-based architecture. The SDDC adoption implies the reduction of expenses …
disorganized silo-based architecture. The SDDC adoption implies the reduction of expenses …
A Petri net model for hardware/software codesign
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 …
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 …
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
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 …
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
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 …
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
Forest fires cause damage to life, biodiversity, and properties, affecting natural ecosystems,
healthy and only. During the practical application of fire prevention, numerous detection …
healthy and only. During the practical application of fire prevention, numerous detection …
Expolynomial modelling for supporting vanet infrastructure planning
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 …
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 …
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 …
demandado o desenvolvimento de técnicas que garantam certas características, como alta …