摘要
给出了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.
出处
《系统仿真学报》
CAS
CSCD
2003年第z1期43-45,共3页
Journal of System Simulation
基金
国家自然科学基金(60173053)
煤炭科学基金(96电10509)
山东省自然科学基金(Y2002G09)。
关键词
PETRI网
公平分解
守恒分解
结构性质
Petri net
Fair decomposition
conservative decomposition
structural property
