Petri网的分享合成操作

通过引入Fork算子,建立了Petri网的一种新的合成操作-分享合成,分享合成操作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时,子网中任何与分享库所无关的变迁序列在合成后保持不变,分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会,使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。