Hierarchical Design Methodology for Flexible Manufacturing System Via Petri Net Theoretical Approach

基于Petri网理论方法，形式化地介绍了柔性制造系统、计算机系统和其它计算机集成自动化系统等分布式、异步、并发系统的层次化设计方法，该方法从建模、验证、分析到真实的时间控制都可以统一采用.利用Petri网的结构建模能力和行为表达能力，自顶向下和自底向上的设计规格说明层次结构可以自然地在网理论的范围内实现。从网络结构和资源分配的角度解决了离散事件系统的可达性、活性和公平性问题。在FA系统中的应用，如自动引导车辆的调度和自动PLC程序生成的结果在信念的正确性，在thes研究中采用的方法。

Hierachical design methodology for distributed, asynchronous, concurrent systems such as flexible manufacturing systems, computer systems, and other computer integranted automation systems, are formally introduced based on Petri net theoretical approach which can be adopted consistently from modeling, verification, analysis, through real time control.Taking advantage of structural modeling ability together with the behavioral expression of Petri nets, top-down and bottom-up hierarchy of design specification can nuturally be implemented within the scope of net theory. Reachability, liveness and fairness of discrete event systems are solved in terms of the net structure and resource distribution. Applications to FA systems such us scheduling of automated guided vehicles and automatic PLC program generation result in the conviction of the Correctness of the approach adopted in thes research.