这个软件是从一个CAD软件中提取的一部分,可独立运行,适合做数字系统的状态机分析,对于做状态机很有帮助。