Connectivity of workflow nets: The foundations of stepwise verification (Q766173): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-011-0137-8
@@ Property / DOI: 10.1007/s00236-011-0137-8 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Algorithm 447
@@ Property / describes a project that uses: Algorithm 447 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BPEL2oWFN
@@ Property / describes a project that uses: BPEL2oWFN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Woflan
@@ Property / describes a project that uses: Woflan / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2011512582
@@ Property / OpenAlex ID: W2011512582 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3745291
@@ Property / cites work: Q3745291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773358
@@ Property / cites work: Q3773358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038721
@@ Property / cites work: Q4038721 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5315023
@@ Property / cites work: Q5315023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472293
@@ Property / cites work: Q4472293 / rank @@
+Normal rank
@@ Property / cites work @@
+Dividing a Graph into Triconnected Components
@@ Property / cites work: Dividing a Graph into Triconnected Components / 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 @@
+Connectivity of workflow nets: The foundations of stepwise verification
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000231
@@ Property / cites work: Q4000231 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Petri nets by stepwise refinements
@@ Property / cites work: Analysis of Petri nets by stepwise refinements / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosing Workflow Processes using Woflan
@@ Property / cites work: Diagnosing Workflow Processes using Woflan / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction rules for reset/inhibitor nets
@@ Property / cites work: Reduction rules for reset/inhibitor nets / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance of workflows: An approach to tackling problems related to change
+Normal rank
@@ Property / cites work @@
+Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition
+Normal rank
@@ Property / cites work @@
+Soundness-preserving reduction rules for reset workflow nets
+Normal rank
@@ Property / DOI @@
+.1007/S00236-011-0137-8
@@ Property / DOI: 10.1007/S00236-011-0137-8 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:766173