Theoretical Computer Science · 1985 · 27 citations · 3 references
ComputingComputer ScienceFormal MethodsPetri NetsSpecification LanguagesLogical Framework ApproachPetri Net LanguagesPetri Net ModelsPetri Net Semantics
3
Weak Second‐Order Arithmetic and Finite Automata
J Büchi · Mathematical logic quarterly · 1960 · 819 citations
Petri nets and regular languages
Rüdiger Valk, Guy Vidal-Naquet · Journal of Computer and System Sciences · 1981 · 117 citations