Publication:3821599
From MaRDI portal
zbMath0668.68070MaRDI QIDQ3821599
No author found.
Publication date: 1988
linear programming; polynomial complexity; algebraic characterization; state equation; P/T nets; place/transition net; conflict-resolution; firing dependencies; structural synchronic invariants
68Q25: Analysis of algorithms and problem complexity
90C05: Linear programming
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Structure theory of multi-level deterministically synchronized sequential processes, The complexity of problems involving structurally bounded and conservative Petri nets, \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems, Petri nets for modeling of dynamic systems -- a survey, Petri nets for the design and operation of manufacturing systems