Finding a Witness Path for Non-liveness in Free-Choice Nets (Q3011888): Difference between revisions

@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of some problems in Petri nets
@@ Property / cites work: Complexity of some problems in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+A structure to decide reachability in Petri nets
@@ Property / cites work: A structure to decide reachability in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+New Algorithms for Deciding the Siphon-Trap Property
+Normal rank
@@ Property / cites work @@
+Entscheidbarkeit bei Petri Netzen
@@ Property / cites work: Entscheidbarkeit bei Petri Netzen / rank @@
+Normal rank
@@ Property / cites work @@
+Applying CEGAR to the Petri Net State Equation
@@ Property / cites work: Applying CEGAR to the Petri Net State Equation / rank @@
+Normal rank