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

From MaRDI portal
scientific article; zbMATH DE number 7467823
Language Label Description Also known as
English
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions
scientific article; zbMATH DE number 7467823

    Statements

    Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions (English)
    0 references
    0 references
    0 references
    0 references
    1 February 2022
    0 references
    soundness of process models
    0 references
    data perspective
    0 references
    data Petri nets
    0 references

    Identifiers