Soundness verification of data-aware process models with variable-to-variable conditions

DOI10.3233/FI-2021-2064MaRDI QIDQ5025032zbMATH OpenOpenAlexFDO

Authors Paolo Felli, Massimiliano de Leoni, Marco Montali

Publication date 1 February 2022

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2021-2064

zbMATH Keywords

data perspectivedata Petri netssoundness of process models

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT
• Model checking Petri nets with names using data-centric dynamic systems
• Soundness of workflow nets: classification, decidability, and analysis
• Model checking workflow net based on Petri net
• Applications and Theory of Petri Nets 2005

Cites work

• Decidability and complexity of Petri nets with unordered data
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
• Homogeneous equations of algebraic Petri nets
• scientific article; zbMATH DE number 1302047 (Why is no real title available?)
• Supervisory control of concurrent systems. A Petri net structural approach.

Cited in

(4)

• Combination of uniform interpolants via Beth definability
• CTL* model checking for data-aware dynamic systems with arithmetic
• Data and process resonance. Identifier soundness for models of information systems
• Verification of data-aware process models: checking soundness of Data Petri nets

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Soundness verification of data-aware process models with variable-to-variable conditions

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