| 基于约束组合CTPN的带式输送机系统建模 |
| |
| 引用本文： | 陆阳,杨晴晴,韩江洪.基于约束组合CTPN的带式输送机系统建模[J].系统仿真学报,2007,19(19):4521-4525,4537. |
| |
| 作者姓名： | 陆阳 杨晴晴 韩江洪 |
| |
| 作者单位： | 1. 合肥工业大学计算机与信息学院,合肥,230009;安全关键工业测控技术教育部工程研究中心,合肥,230009
2. 合肥工业大学计算机与信息学院,合肥,230009 |
| |
| 基金项目： | 教育部跨世纪优秀人才培养计划;教育部高等学校博士学科点专项科研基金 |
| |
| 摘 要： | 带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现＂节点爆炸＂问题。提出采用约束组合弧来克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁发生时部分输入库所托肯不变的情况。在为带式输送机控制系统建模中,提出了基于时间Petri网的带式输送机联锁控制系统模型,并将时间Petri网模型折叠成约束组合有色时间Petri网模型,提高了模型的抽象能力,降低了模型复杂性。
|
| 关 键 词： | 有色Petri网 时间Petri网 约束组合弧 带式输送机 |
| 文章编号： | 1004-731X（2007）19-4521-05 |
| 收稿时间： | 2006-08-01 |
| 修稿时间： | 2006-08-012006-11-13 |
Modeling for Belt Conveyer System Based on Inhibitor-combination CTPN |
| |
| LU Yang,YANG Qing-qing,HAN Jiang-hong.Modeling for Belt Conveyer System Based on Inhibitor-combination CTPN[J].Journal of System Simulation,2007,19(19):4521-4525,4537. |
| |
| Authors: | LU Yang YANG Qing-qing HAN Jiang-hong |
| |
| Institution: | 1. School of Computer and Information, Hefei University of Technology, Hefei 230009, China; 2. Engineering Research Center of Safety Critical Industry Measure and Control Technology of Ministry of Education, Hefei 230009, China |
| |
| Abstract: | |
| |
| Keywords: | colored Petri net time Petri net inhibit-combination arc belt conveyer |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
