On Automatic Generation of a Control Sequence on Discrete Event Systems

1991年，为了实现“离散事件系统控制序列的自动生成”，我们进行了如下研究。(1)利用由Petri网的状态方程构成的序列图，给出了可达的充要条件。(2)给出了一种求Petri网状态方程线性无关解的方法。(3)利用上述结果(1)和(2)，我们导出了一个自动生成控制序列的算法。其次，我们构造了一个模拟制造系统，以验证我们结果的有效性。1992年，我们在充分考虑1991年的结果的基础上，进行了如下研究。(4)在一台UNIX机上编程实现了上述(3)算法，并验证了该程序生成了控制序列。(5)为了能够对离散事件系统进行分析，我们编写了其他的Petri网分析算法，实现了(A)控制序列自动生成算法的推导，(B)模拟制造系统的构造与控制，(C)算法的编程与验证。

In 1991, in order to achieve" Automatic Generation of a Control Sequence on Discrete Event Systems", we have studied as follows. (1)We derive the necessary and sufficient condition for reachability by using a sequence graph, which is formed of the state equation of a Petri net. (2)We derive a derivation method for linear independent solutions of the state equation of a Petri net. (3)We derive a algorithm for an automatic generation of a control sequence by using the above results (1) and (2).Next, we have constructed an imitative manufacture system for verification of usefulness of our results.In 1992, we have studied as follows after due consideration of our results in 1991. (4)We have programmed the algorithm of the above (3) on an UNIX workstation and we have checked that this program generates a control sequence. (5)We have programmed the other algorithms for analysis of Petri nets in order to be able to analyze a discrete event system.As the results mentioned above, we have achieved the objectives such as (a) derivation of a algorithm for an automatic generation of a control sequence, (b)construction and control of an imitative manufacture system, (c)programming and verification of the derived algorithms.