Using coloured Petri nets to evaluate the impact of the QoS of failure detectors in the performance of a consensus protocol

Author(s):  
J.C.A. de Figueiredo ◽  
L.M.R. Sampaio ◽  
F.V. Brasileiro
DYNA ◽  
2018 ◽  
Vol 85 (206) ◽  
pp. 105-113
Author(s):  
Jesús Filander Caratar-Chaux ◽  
Ruth Edmy Cano-Buitrón ◽  
José Isidro Garcia-Melo

The search for improvements in production processes that serve a variant market with flexibility and profitability is a subject widely discussed in diverse sectors of the industry. The approach to this type of problem frequently requires a structured and detailed formal study of production systems using tools such as Coloured Petri Nets (CPN). This tool provides a method to propose and evaluate improvements in the system. Considering the production system as a system that evolves through discrete events, this article presents a procedure with a Top-Down approach to identify, simulate and evaluate the current state of a production system using CPN, this model is used to study improvements in order to analyze the impact on the performance of the production system.


IEEE Access ◽  
2021 ◽  
Vol 9 ◽  
pp. 143434-143447
Author(s):  
Muhammad Nauman ◽  
Nadeem Akhtar ◽  
Omar H. Alhazmi ◽  
Mustafa Hameed ◽  
Habib Ullah ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document