基于约束组合CTPN的带式输送机系统建模

• 作者: 杨晴晴 陆阳 韩江洪
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 有色Petri网 时间Petri网 约束组合弧 带式输送机
• 年，卷（期）: 2007,（19）
• 所属期刊栏目: 复杂系统建模与仿真
• 页码范围: 4521-4525,4537
• 页数: 6页
• 分类号: TP301
• 字数: 5816字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2007.19.040

摘要

带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现"节点爆炸"问题.提出采用约束组合弧来克服该问题.约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁发生时部分输入库所托肯不变的情况.在为带式输送机控制系统建模中,提出了基于时间Petri网的带式输送机联锁控制系统模型,并将时间Petri网模型折叠成约束组合有色时间Petri网模型,提高了模型的抽象能力,降低了模型复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩江洪	合肥工业大学计算机与信息学院	333	3281	24.0	43.0
3	陆阳	合肥工业大学计算机与信息学院	147	1309	19.0	29.0
9	杨晴晴	合肥工业大学计算机与信息学院	5	37	2.0	5.0