Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations (Q6487345): Difference between revisions

@@ Property / cites work @@
+Verification of workflow nets
@@ Property / cites work: Verification of workflow nets / rank @@
+Normal rank
@@ Property / cites work @@
+Unbounded-Thread Program Verification using Thread-State Equations
+Normal rank
@@ Property / cites work @@
+The Logical View on Continuous Petri Nets
@@ Property / cites work: The Logical View on Continuous Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
+Normal rank
@@ Property / cites work @@
+Reduction of Workflow Nets for Generalised Soundness Verification
+Normal rank
@@ Property / cites work @@
+Q4152749
@@ Property / cites work: Q4152749 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-free commutative grammars with integer counters and resets
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+An SMT-Based Approach to Coverability Analysis
@@ Property / cites work: An SMT-Based Approach to Coverability Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnostic information for control-flow analysis of workflow graphs (a.k.a. free-choice workflow nets)
+Normal rank
@@ Property / cites work @@
+Complexity Analysis of Continuous Petri Nets
@@ Property / cites work: Complexity Analysis of Continuous Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Generalized Soundness of Workflow Nets
@@ Property / cites work: Verifying Generalized Soundness of Workflow Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of control flow in workflows
@@ Property / cites work: Fundamentals of control flow in workflows / rank @@
+Normal rank
@@ Property / cites work @@
+The Reachability Problem for Petri Nets Is Not Elementary
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Structural soundness of workflow nets is decidable
+Normal rank
@@ Property / cites work @@
+Q2766587
@@ Property / cites work: Q2766587 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosing Workflow Processes using Woflan
@@ Property / cites work: Diagnosing Workflow Processes using Woflan / rank @@
+Normal rank