Safety transition system and its application.

The ranges of state variable value of transition system are large, and the state space of system transition, but the transitions of the system are often unpredictable. This paper defined the concepts: initial safety states, safety transition condition, safety state, safety action, safety run and safety transition system, and proved the all states in safety transition system were safe. Then it used it to remold the network transition system, and changed it a safety transition system. [ABSTRACT FROM AUTHOR]