库所组合有色网-一种新型的有色网

摘要：

为了解决用Petri网描述复杂系统时出现的”节点爆炸”问题,本文提出了四种特殊的弧:约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组合效果的系统时具有强大的先天优势.本文通过为电梯控制系统建模示例了这四种弧为简化模型带来的便捷之处。

关键词： Petri网 约束弧 柔性弧 组合弧 因果弧

作者: 霍金健 袁崇义 屈婉玲

作者单位: 北京大学信息科学学院计算机科学技术系,北京,100871

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 30-37,43

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）