Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions

DOI10.3233/FI-2021-2064OpenAlexW3202144451MaRDI QIDQ5025032

Massimiliano de Leoni, Marco Montali, Paolo Felli

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 Petri netsdata perspectivesoundness of process models

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (4)

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

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Decidability and complexity of Petri nets with unordered data
• Supervisory control of concurrent systems. A Petri net structural approach.
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture

This page was built for publication: Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions