An Approach Towards The Development Life-Cycle Of Agent-Based Production Control Applications
ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS(2005)
摘要
This paper discusses a new approach to the development life-cycle of agent-based production control applications, from the design to the operation, based in a catalogue of High-level Petri nets. The High-level Petri net-based approach facilitates the conception, definition and formal specification of an "encapsulation process" in industrial production systems. The catalogue includes elements for the identification of manufacturing components, the development of agent-based control units, the formal validation of the models and the formal specification of complete collaborative automation scenarios.
更多查看译文
关键词
software agents,formal specification,intelligent control,life cycle,formal verification,petri nets
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要