摘要：针对复杂产品装配执行过程中物料流与信息流脱节的问题，提出一种装配执行过程Petri网模型，该模型用变迁描述装配状态和物流状态，用库所描述装配执行中的事件，并分别以装配Agent、物流Agent和RFID标签的形式来实现和反映装配状态和物流状态。实例研究表明，该模型可提高装配执行过程在线监控的实时性和准确性，增强离线监控的可行性。

关键词：装配执行过程 petri网 agent 无线射频识别 

单位：西北工业大学现代设计与集成制造技术教育部重点实验室 西安710072