摘要
面向对象Petri网方法兼有面向对象和Petri网两种建模方法的优点 ,是一种优秀的系统建模和设计方法。文章主要研究了面向对象Petri网方法在AGV嵌入式控制系统设计中的具体应用 ,为AGV嵌入式控制系统的设计提出了一种行之有效的形式化方法。
Object-oriented Petri net modeling (OPNet modeling), with both merits of Object-oriented modeling and Petri net modeling , is an perfect method of system modeling and design. This paper is mainly about the application of OPNet on the AGV embedded control systems, and providing an effective formalization method of AGV embedded control systems design.
出处
《组合机床与自动化加工技术》
北大核心
2004年第2期40-42,共3页
Modular Machine Tool & Automatic Manufacturing Technique
基金
国家 98 5机械工程一级学科建设项目
物流系统及智能化子项目基金资助 (2 2 1 90 60 0 6)