Bounded self-stabilizing Petri nets (Q1892714): Difference between revisions

@@ Property / cites work @@
+A class of inherently fault tolerant distributed programs
+Normal rank
@@ Property / cites work @@
+Self-stabilizing systems in spite of distributed control
+Normal rank
@@ Property / cites work @@
+The instability of self-stabilization
@@ Property / cites work: The instability of self-stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for single-path Petri nets
@@ Property / cites work: Completeness results for single-path Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of problems involving structurally bounded and conservative Petri nets
+Normal rank
@@ Property / cites work @@
+On the reachability problem for 5-dimensional vector addition systems
+Normal rank
@@ Property / cites work @@
+Completeness results for conflict-free vector replacement systems
+Normal rank
@@ Property / cites work @@
+An \(O(n^{1.5})\) algorithm to decide boundedness for conflict-free vector replacement systems
+Normal rank
@@ Property / cites work @@
+Normal and sinkless Petri nets
@@ Property / cites work: Normal and sinkless Petri nets / 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 @@
+A new polynomial-time algorithm for linear programming
+Normal rank
@@ Property / cites work @@
+Q3050157
@@ Property / cites work: Q3050157 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+The mutual exclusion problem
@@ Property / cites work: The mutual exclusion problem / 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 @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Q5603731
@@ Property / cites work: Q5603731 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01178259
+Normal rank
@@ Property / OpenAlex ID @@
+W4234842671
@@ Property / OpenAlex ID: W4234842671 / rank @@
+Normal rank