Verification of data-aware process models: checking soundness of Data Petri nets (Q6197587): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jlamp.2024.100953 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jlamp.2024.100953 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4391730719 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q128260747 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Balanced multi-perspective checking of process conformance / rank
 
Normal rank
Property / cites work
 
Property / cites work: The theory of well-quasi-ordering: a frequently discovered concept / rank
 
Normal rank
Property / cites work
 
Property / cites work: Well-structured transition systems everywhere! / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of linear problems in fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finding All the Elementary Circuits of a Directed Graph / rank
 
Normal rank
Property / cites work
 
Property / cites work: PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.JLAMP.2024.100953 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 19:23, 30 December 2024

scientific article; zbMATH DE number 7820972
Language Label Description Also known as
English
Verification of data-aware process models: checking soundness of Data Petri nets
scientific article; zbMATH DE number 7820972

    Statements

    Verification of data-aware process models: checking soundness of Data Petri nets (English)
    0 references
    0 references
    0 references
    20 March 2024
    0 references
    verification of distributed processes with data
    0 references
    formal models of distributed systems
    0 references
    Data Petri net
    0 references
    data-aware soundness
    0 references
    soundness verification
    0 references

    Identifiers