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

@@ Property / DOI @@
-.1016/j.jlamp.2024.100953
@@ Property / DOI: 10.1016/j.jlamp.2024.100953 / rank @@
-Normal rank
@@ Property / cites work @@
+Balanced multi-perspective checking of process conformance
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
+Normal rank
@@ Property / cites work @@
+Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions
+Normal rank
@@ Property / cites work @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank
@@ Property / cites work @@
+Finding All the Elementary Circuits of a Directed Graph
+Normal rank
@@ Property / cites work @@
+PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2024.100953
@@ Property / DOI: 10.1016/J.JLAMP.2024.100953 / rank @@
+Normal rank