The complexity of problems involving structurally bounded and conservative Petri nets (Q1183417): 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/0020-0190(91)90004-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2002058814
@@ Property / OpenAlex ID: W2002058814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152749
@@ Property / cites work: Q4152749 / rank @@
+Normal rank
@@ Property / cites work @@
+On the finite containment problem for Petri nets
@@ Property / cites work: On the finite containment problem for Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of persistence for vector addition systems
+Normal rank
@@ Property / cites work @@
+The equality problem for vector addition systems is undecidable
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / 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 @@
+Completeness results for conflict-free vector replacement systems
+Normal rank
@@ Property / cites work @@
+Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states
+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 @@
+Q3974867
@@ Property / cites work: Q3974867 / 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 new polynomial-time algorithm for linear programming
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050157
@@ Property / cites work: Q3050157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3820016
@@ Property / cites work: Q3820016 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of Conflict-Free and Persistent Petri Nets
+Normal rank
@@ Property / cites work @@
+Persistence of vector replacement systems is decidable
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+The Complexity of the Finite Containment Problem for Petri Nets
+Normal rank
@@ Property / cites work @@
+The complexity of the word problems for commutative semigroups and polynomial ideals
+Normal rank
@@ Property / cites work @@
+Petri nets and large finite sets
@@ Property / cites work: Petri nets and large finite sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939247
@@ Property / cites work: Q3939247 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / 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 multiparameter analysis of the boundedness problem for vector addition systems
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Structural properties of petri nets
@@ Property / cites work: Structural properties of petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774960
@@ Property / cites work: Q3774960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821599
@@ Property / cites work: Q3821599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5603731
@@ Property / cites work: Q5603731 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal Petri nets
@@ Property / cites work: Normal Petri nets / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1183417