离散制造系统的初态验证与错误检测

离散制造系统要达到一定的生产目标。其初始资源、工件配置以及运行状态应满足一定条件．这些条件可以通过制造系统Ｐｅｔｒｉ网模型的初始标识、可达标识是否在一个可行集之中来分析验证。可行集是系统运行的不变量，标识离开可行集就产生一个错误．本文建立基于Ｐｅｔｒｉ网的动态规划算法，利用动态规划给出初态验证与错误检测的一个有效方法。