Linear time analysis of properties of conflict-free and general Petri nets (Q620942): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.09.030
+Normal rank
@@ Property / OpenAlex ID @@
+W1981296835
@@ Property / OpenAlex ID: W1981296835 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational power of pushdown automata
@@ Property / cites work: On the computational power of pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Algorithms for Functional Dependency Manipulation
+Normal rank
@@ Property / cites work @@
+Partially dynamic maintenance of minimum weight hyperpaths
+Normal rank
@@ Property / cites work @@
+On-line algorithms for polynomially solvable satisfiability problems
+Normal rank
@@ Property / cites work @@
+Dynamic maintenance of directed hypergraphs
@@ Property / cites work: Dynamic maintenance of directed hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3941433
@@ Property / cites work: Q3941433 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Persistent Petri Nets
@@ Property / cites work: A Note on Persistent Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Directed recursive labelnode hypergraphs: A new representation-language
+Normal rank
@@ Property / cites work @@
+Complexity results for 1-safe nets
@@ Property / cites work: Complexity results for 1-safe nets / rank @@
+Normal rank
@@ Property / cites work @@
+Marked directed graphs
@@ Property / cites work: Marked directed graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+A decidability theorem for a class of vector-addition systems
+Normal rank
@@ Property / cites work @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial-time algorithm to decide liveness of bounded free choice nets
+Normal rank
@@ Property / cites work @@
+Directed hypergraphs and applications
@@ Property / cites work: Directed hypergraphs and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Problems concerning fairness and temporal logic for conflict-free Petri nets
+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 @@
+A taxonomy of fairness and temporal logic problems for Petri nets
+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 @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055201
@@ Property / cites work: Q4055201 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of Conflict-Free and Persistent Petri Nets
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Q4133144
@@ Property / cites work: Q4133144 / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+A fully dynamic reachability algorithm for directed graphs with an almost linear update time
+Normal rank
@@ Property / cites work @@
+Efficiency of a Good But Not Linear Set Union Algorithm
+Normal rank
@@ Property / cites work @@
+Linear connectivity problems in directed hypergraphs
+Normal rank
@@ Property / cites work @@
+A unified approach for deciding the existence of certain petri net paths
+Normal rank