论文部分内容阅读
离散制造系统要达到一定的生产目标。其初始资源、工件配置以及运行状态应满足一定条件．这些条件可以通过制造系统Ｐｅｔｒｉ网模型的初始标识、可达标识是否在一个可行集之中来分析验证。可行集是系统运行的不变量，标识离开可行集就产生一个错误．本文建立基于Ｐｅｔｒｉ网的动态规划算法，利用动态规划给出初态验证与错误检测的一个有效方法。
Discrete manufacturing systems to achieve a certain production goals. The initial resources, work-piece configuration and operating conditions should meet certain conditions. These conditions can be verified by making the initial identification of the system Petri nets model and identifying whether the identification is in a feasible set. A feasible set is an invariant of the system operation, marking an error from leaving the feasible set. In this paper, a dynamic programming algorithm based on Petri net is established, and an effective method of initial verification and error detection is given by using dynamic programming.