An analytical method for well-formed workflow/Petri net verification of classical soundness (Q2018421): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2478/amcs-2014-0068
+Normal rank
@@ Property / OpenAlex ID @@
+W2017089346
@@ Property / OpenAlex ID: W2017089346 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3967058
@@ Property / cites work: Q3967058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395756
@@ Property / cites work: Q3395756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3377337
@@ Property / cites work: Q3377337 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2772443
@@ Property / cites work: Q2772443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428410
@@ Property / cites work: Q4428410 / rank @@
+Normal rank
@@ Property / cites work @@
+Web services, e-business, and the semantic web. CAiSE 2002 international workshop, WES 2002, Toronto, Canada, May 27--28, 2002. Revised papers
+Normal rank
@@ Property / cites work @@
+Q4001818
@@ Property / cites work: Q4001818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999518
@@ Property / cites work: Q3999518 / rank @@
+Normal rank
@@ Property / cites work @@
+Numbering action vertices in workflow graphs
@@ Property / cites work: Numbering action vertices in workflow graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Lagrange stability and boundedness of discrete event systems
+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 @@
+Diagnosing Workflow Processes using Woflan
@@ Property / cites work: Diagnosing Workflow Processes using Woflan / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank