本发明涉及一种分析基于状态的系统模型的方法，前述系统模型包括一组自动机（Ｍ１，…Ｍｎ），每个所述自动机包括至少一个可能的状态（ｐＳ１Ｍｉ，…，ｐＳｋＭｉ），在任一时刻，每个自动机都处于其组成状态之一，所述自动机（Ｍ１，…Ｍｎ）的动态行为...