State table generating system

摘要

A system for generating a state table and/or state diagram of a target system by defining usage variables in a partition of the target system being explored, exploring each state and state transition in the partition, and generating a state table and/or state diagram that includes a present state and new state for each state transition identified in the partition. A state in the target system is the combination of all usage variable values at a given time during target system operation.