Inheritance of workflows: An approach to tackling problems related to change (Q5958305): Difference between revisions

@@ 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 / Wikidata QID @@
+Q57006129
@@ Property / Wikidata QID: Q57006129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953845
@@ Property / cites work: Q4953845 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of workflow task structures: A Petri-net-based approach
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Branching bisimilarity is an equivalence indeed!
@@ Property / cites work: Branching bisimilarity is an equivalence indeed! / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230786
@@ Property / cites work: Q4230786 / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance of behavior
@@ Property / cites work: Inheritance of behavior / rank @@
+Normal rank
@@ Property / cites work @@
+Q2761735
@@ Property / cites work: Q2761735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773358
@@ Property / cites work: Q3773358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855370
@@ Property / cites work: Q4855370 / rank @@
+Normal rank
@@ Property / cites work @@
+Workflow evolution
@@ Property / cites work: Workflow evolution / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858945
@@ Property / cites work: Q4858945 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Q4038723
@@ Property / cites work: Q4038723 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Petri nets 1992
@@ Property / cites work: Advances in Petri nets 1992 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / 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 @@
+Q4733394
@@ Property / cites work: Q4733394 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00321-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2178686891
@@ Property / OpenAlex ID: W2178686891 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/AalstB02
@@ Property / DBLP publication ID: journals/tcs/AalstB02 / rank @@
+Normal rank