Petri网共享子网合成活性分析
为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共享子网合成网保持有界性和活性的充分条件或充要条件;目前存在的合成方法大多对状态机、标识图或非对称选择网(AC)等进行合成,用于解决资源共享问题,而本文的方法可对一般的Petri网进行合成,解决子系统共享问题.本文的结果可为Petri网系统合成性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段.
Petri网 合成活性 有界活性 复杂大系统
夏传良 焦莉 陆维明
中国科学院,数学与系统科学研究院,计算机科学研究室,北京,100080 中国科学院软件所,计算机科学重点实验室,北京,100080
国内会议
江苏镇江
中文
12-16,25
2005-10-01（万方平台首次上网日期，不代表论文的发表时间）