Theoretical Computer Science · 1990 · 70 citations · 3 references
ComputingComputer ScienceComputer SystemsLogicReal-time SystemsTheory Of ComputationFinite State Machine ModelingModel CheckingPetri NetsTemporal LogicPetri Net Model CheckingPetri Net ModelsTemporal Logic ReasoningTemporal Logic SpecificationTemporal Logic Verification
3
An Algorithm for the General Petri Net Reachability Problem
Ernst Mayr · SIAM Journal on Computing · 1984 · 457 citations