Petri网的公平分解和守恒分解  

Fair Decomposition and Conservative Decomposition for Petri Nets

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

机构地区：[1]山东科技大学基础部,山东泰安271019

出　　处：《系统仿真学报》2003年第z1期43-45,共3页Journal of System Simulation

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

摘　　要：给出了Petri网的公平分解和守恒分解的定义,同时给出了Petri网达到公平分解和守恒分解的具体方法,并证明了这种分解方法保持了网的一些结构性质。The concepts of fair and conservative decomposition are presented for Petri nets in this paper, at the same time the specific methods that Petri nets can reach fair and conservative decomposition are put forward, and prove that these decomposition methods can maintain some structural properties of Petri nets.

关 键 词：PETRI网 公平分解 守恒分解 结构性质 

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