Soundness of Timed-Arc Workflow Nets (Q5166756): Difference between revisions

@@ Property / author @@
-Jiří Srba
@@ Property / author: Jiří Srba / rank @@
-Normal rank
@@ Property / author @@
+Jiří Srba
@@ Property / author: Jiří Srba / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TAPAAL
@@ Property / describes a project that uses: TAPAAL / rank @@
+Normal rank
@@ 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.1007/978-3-319-07734-5_4
+Normal rank
@@ Property / OpenAlex ID @@
+W2200666234
@@ Property / OpenAlex ID: W2200666234 / rank @@
+Normal rank
@@ Property / cites work @@
+TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
+Normal rank
@@ Property / cites work @@
+Soundness of workflow nets: classification, decidability, and analysis
+Normal rank