scientific article

zbMath0481.68059MaRDI QIDQ3939247

No author found.

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilitypersistent Petri netsinclusion and equality of the reachability setssemilinear representation of the reachability set

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Completeness results for conflict-free vector replacement systems ⋮ Problems concerning fairness and temporal logic for conflict-free Petri nets ⋮ The decidability of persistence for vector addition systems ⋮ The complexity of problems involving structurally bounded and conservative Petri nets ⋮ Normal and sinkless Petri nets

This page was built for publication: