Reachability in live and safe free-choice Petri nets is NP-complete (Q1129263): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in cyclic extended free-choice systems
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial-time algorithm to decide liveness of bounded free choice nets
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Handles and reachability analysis of free choice nets
+Normal rank
@@ Property / cites work @@
+Q3999014
@@ Property / cites work: Q3999014 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(97)00235-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2018409411
@@ Property / OpenAlex ID: W2018409411 / rank @@
+Normal rank