Preface. Part I: Preliminaries. 1. Introduction. 2. Taxonomy and Theory of Behaviors. 3. Implicit Techniques. Part II: State Minimization of Incompletely Specified FSMS. 4. Compatible Generation. 5. Binate Covering. Part III: Flexibility in Networks of FSMS and Non-Deterministic FSMS. 6. Permissible Behaviors in a Network of FSMS. 7. State Minimization of Non-Deterministic FSMS. 8. State Minimization of PNDFSMS in Networks of FSMS. 9. Conclusions. References. Index.
Springer Book Archives