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

Properties Determination and Decomposition of Constant Continuous Petri Net (CCPN)

作　　者：王培良[1] 赵义军[1] 

机构地区：[1]山东科技大学理学院,青岛,266510 山东科技大学理学院,青岛,266510

出　　处：《系统仿真学报》2005年第z1期48-51,共4页Journal of System Simulation

基　　金：山东省自然科学基金(Y2002G09)和国家自然科学基金(60173053)及煤炭科学基金(96电10509).

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

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]