An Exploratory Case Study: Using Petri Nets for Modelling Microservice-Based Systems
Loading...
Date
2023
Authors
Demirors,O.
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of Electrical and Electronics Engineers Inc.
Open Access Color
Green Open Access
No
OpenAIRE Downloads
OpenAIRE Views
Publicly Funded
No
BIP! Indicators
Impulse
Average
Influence
Average
Popularity
Top 10%
Abstract
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.
Description
Keywords
analysis, Microservice, modelling, Petri nets, verification
Fields of Science
Citation
WoS Q
N/A
Scopus Q
N/A
OpenCitations Citation Count
2
Source
Proceedings - 2023 49th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2023 -- 49th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2023 -- 6 September 2023 through 8 September 2023 -- Durres -- 196105
Volume
Issue
Start Page
254
End Page
261
PlumX Metrics
Citations
Scopus : 1
Captures
Mendeley Readers : 2
SCOPUS™ Citations
1
checked on Apr 27, 2026
Page Views
59
checked on Apr 27, 2026
Google Scholar™
