Verification of data-aware process models: checking soundness of Data Petri nets
From MaRDI portal
Publication:6197587
DOI10.1016/j.jlamp.2024.100953OpenAlexW4391730719WikidataQ128260747 ScholiaQ128260747MaRDI QIDQ6197587
Irina A. Lomazova, Nikolai M. Suvorov
Publication date: 20 March 2024
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2024.100953
soundness verificationData Petri netdata-aware soundnessformal models of distributed systemsverification of distributed processes with data
Cites Work
- Balanced multi-perspective checking of process conformance
- The complexity of linear problems in fields
- The theory of well-quasi-ordering: a frequently discovered concept
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
- Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions
- PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets
- Finding All the Elementary Circuits of a Directed Graph
- Well-structured transition systems everywhere!
This page was built for publication: Verification of data-aware process models: checking soundness of Data Petri nets