Publication:3939247
From MaRDI portal
zbMath0481.68059MaRDI QIDQ3939247
No author found.
Publication date: 1981
decidability; persistent Petri nets; inclusion and equality of the reachability sets; semilinear representation of the reachability set
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
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