Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4773298
@@ Property / cites work: Q4773298 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Composantes préconservatives minimales d'un réseau de Petri : étude structurelle
+Normal rank
@@ Property / cites work @@
+Q5615282
@@ Property / cites work: Q5615282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3706508
@@ Property / cites work: Q3706508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3967058
@@ Property / cites work: Q3967058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696527
@@ Property / cites work: Q3696527 / rank @@
+Normal rank
@@ Property / cites work @@
+Marked directed graphs
@@ Property / cites work: Marked directed graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+On the Complexity of Timetable and Multicommodity Flow Problems
+Normal rank
@@ Property / cites work @@
+HORNLOG: A graph-based interpreter for general Horn clauses
+Normal rank
@@ Property / cites work @@
+Q3929063
@@ Property / cites work: Q3929063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960718
@@ Property / cites work: Q3960718 / rank @@
+Normal rank
@@ Property / cites work @@
+The equality problem for vector addition systems is undecidable
+Normal rank
@@ Property / cites work @@
+Unit Refutations and Horn Sets
@@ Property / cites work: Unit Refutations and Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3766867
@@ Property / cites work: Q3766867 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete problems for deterministic polynomial time
+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 @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054643
@@ Property / cites work: Q4054643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4176984
@@ Property / cites work: Q4176984 / rank @@
+Normal rank
@@ Property / cites work @@
+LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
+Normal rank
@@ Property / cites work @@
+Q4133144
@@ Property / cites work: Q4133144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+A switching algorithm for the solution of quadratic Boolean equations
+Normal rank
@@ Property / cites work @@
+Q3766863
@@ Property / cites work: Q3766863 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic buffer synchronization of sequential processes
+Normal rank