Formal verification of distributed, data-intensive microservice applications using Petri Nets

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Shubham, Meenakshi D’Souza
DOI: 10.5281/zenodo.18776012
Cited by: 0

Abstract

This repository contains the artifact for the paper: "Formal verification of distributed, data-intensive microservice applications using Petri Nets". Latest code is available at https://github.com/prophet1906/ddia_analyzer

Fields of Study & Subjects

Petri Nets in System Modeling Formal Methods in Verification Business Process Modeling and Analysis

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
25 February 2026
Language
EN