Petri网的分享合成操作

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

Share Synthesis Process of Petri Nets

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.