最大速度恒定的连续Petri网(CCPN)的性质判定及分解

摘要：

对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Petri网(CCPN)的两种分解,并证明了这两种分解保持网的一些结构性质。

关键词： 连续Petri网 结构有界性 守恒性 公平性 分解 最大速度恒定 结构性质

作者: 王培良 赵义军

作者单位: 山东科技大学理学院,青岛,266510

会议类型: 国内会议

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

会议地点: 江苏镇江

会议语种:中文

页码: 48-51

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