FSM Decomposition Software for Education and Research

摘要

This paper describes an environment for finite state machine decomposition that is developed in Tallinn University of Technology. The presented software called D&S is oriented mostly for demonstration and education purposes, but it can be also used in scientific experiments. Various techniques such as additive, generalized additive and multiplicative decomposition are implemented by different software modules. The environment was built on the basis of Java technology that ensures it compatibleness with a wide range of operating systems and provides possibility of remote access.