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

基于Petri网理论方法的柔性制造系统分层设计方法

• 批准号: 62460139
• 负责人: KODAMA Shinzo
• 金额: $ 3.78万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (B)
• 财政年份: 1987
• 资助国家: 日本
• 起止时间: 1987 至 1989
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-62460139/
• 关键词: Petri nets; Discrete events; Flexible manufacturing systems; Distributed systems; Concurrency; 非同期分散システム; 分散システム; FA; OA; 活性; 可到達性; 有界性; 最適スケジューリング; 公平性; 同期距離

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.

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

项目成果

中村洋一: 電子情報通信学会論文誌. J71ーA. 989-998 (1988)

Yoichi Nakamura：电子、信息和通信工程师协会学报 J71-A（1988）。

西尾一孝: 電子情報通信学技術報告. CAS88ー113. 47-52 (1988)

Kazutaka Nishio：电子、信息和通信技术技术报告。CAS88-113 (1988)。

宇野裕史: 電子情報通信学会 論文誌. J70-A. 331-339 (1987)

Hiroshi Uno：电子、信息和通信工程师学会杂志 J70-A 331-339 (1987)。

Sadatoshi Kumagai: "Hardware Accelerators for Electrical CAD" Adam Hilger,Bristal, 327 (1988)

Sadatoshi Kumagai：“电气 CAD 硬件加速器” Adam Hilger，Bristal，327 (1988)

長尾陽一: "無人搬送車制御システムへのペトリネットの応用" 第29回計測自動制御学会学術講演会. (1990)

长尾洋一：《Petri网在自动导引车控制系统中的应用》第29届仪器与控制工程师学会学术会议（1990年）。