A Petri Net-based Formal Modeling for Microservices Auto-scaling.

Souheir Merkouche Chafia Bouanaka Elhadj Benkhelifa

Published in: AICCSA (2023)

Keyphrases

neural network
multiresolution
real time
machine learning
decision trees
computer vision
formal model
modeling language
reactive systems