Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Permanent URI for this collectionhttps://hdl.handle.net/11147/7148

Browse

Filters

20231

Settings

Author: search.filters.author.Demirors,O.Subject: search.filters.subject.analysis

Search Results

Now showing 1 - 1 of 1
  • Conference Object
    Citation - Scopus: 1
    An Exploratory Case Study: Using Petri Nets for Modelling Microservice-Based Systems
    (Institute of Electrical and Electronics Engineers Inc., 2023) Soylu,G.K.; Demirors,O.
    The rapid evolution of cloud technology has led to the development of highly responsive and flexible applications. Microservice-based Architecture (MSbA) is a popular approach for creating cloud-compatible applications. However, MSbA presents challenges in system verification and analysis. This paper explores using Petri nets for modelling microservice-based systems. The proposed method utilises abstraction and composition techniques to model complex systems using 1-safe Petri nets. A case study on Banking as a Service (BaaS) demonstrates the suitability of Petri nets for modelling, analysis and verification of microservice-based systems. © 2023 IEEE.