Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on fini

chapter 1|18 pages

Finite Automata

chapter 4|18 pages

Tree Automata

chapter 5|26 pages

Timed Automata

chapter 13|16 pages

Finite State Automata in Compilers

chapter 15|20 pages

Petri Nets

chapter 16|20 pages


chapter 17|34 pages

Model Checking