Information Processing Letters · 1981 · 35 citations · 3 references
ComputingComputer ScienceComputer SystemsFault-tolerant SystemsDeadlock AvoidancePetri NetsReliable Distributed SystemsSelf-stabilizing SystemsPetri Net AnalysisPetri Net ModelsPetri Net SemanticsPetri Net VerificationTermination Of Petri Nets
3
Persistence of vector replacement systems is decidable
Ernst Mayr · Acta Informatica · 1981 · 77 citations · Full text