Verification of data-aware process models: checking soundness of Data Petri nets

DOI10.1016/J.JLAMP.2024.100953MaRDI QIDQ6197587zbMATH OpenOpenAlexWikidataFDO

Authors Nikolai M. Suvorov, Irina A. Lomazova

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

zbMATH Keywords

Data Petri netdata-aware soundnessformal models of distributed systemssoundness verificationverification of distributed processes with data

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• Balanced multi-perspective checking of process conformance
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
• Finding All the Elementary Circuits of a Directed Graph
• PSPACE-completeness of the soundness problem of safe asymmetric-choice workflow nets
• Soundness verification of data-aware process models with variable-to-variable conditions
• The complexity of linear problems in fields
• The theory of well-quasi-ordering: a frequently discovered concept
• Well-structured transition systems everywhere!

This page was built for publication: Verification of data-aware process models: checking soundness of Data Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6197587)