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
@@ links / mardi / name / links / mardi / name @@
+Publication:1129263