Petri网的分享合成操作  

Share Synthesis Process of Petri Nets

作　　者：刘培顺[1] 何大可[2] 

机构地区：[1]中国海洋大学计算机科学系,山东青岛266071 [2]西南交通大学计算机与通信工程学院,四川成都610031

出　　处：《系统仿真学报》2006年第11期3313-3315,3319,共4页Journal of System Simulation

摘　　要：通过引入Fork算子,建立了Petri网的一种新的合成操作-分享合成,分享合成操作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时,子网中任何与分享库所无关的变迁序列在合成后保持不变,分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会,使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。The division synthesis process, a new synthesis process of Petri Nets, was given by introduction of the Fork operator. This synthesis process is more applicable for describing information systems than sharing synthesis process of Petri Nets. The firing sequences independent of sharing states can be preserved in their synthesis system, as well as the firing sequences fired by sharing states. The simultaneity synthesis increases the chance of the firing sequences fired by sharing states. Finally, it is shown that simultaneity synthesis of Petri Nets is applied to security management in information systems.

关 键 词：PETRI网 共享合成 分享合成 信息融合 

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