计算机应用 ›› 2011, Vol. 31 ›› Issue (06): 1641-1644.DOI: 10.3724/SP.J.1087.2011.01641
闫博钊1,乐晓波1,周恺卿1,莫礼平2
YAN Bozhao1,YUE Xiaobo1,ZHOU Kaiqing1,MO Liping2
摘要: 对于大而复杂的Petri网,“节点过多,状态爆炸”一直是阻碍其技术发展的主要问题,因此,如何有效地简化Petri网一直是Petri网研究领域的一个研究热点。将Petri网简化为若干子网是一个很有效的方法。提出了库所指标概念,根据该指标,给出了Petri网的分解定义,并给出了相关算法。在此基础上,依据所给出的算法研究化简技术的动态特性,将子网与原网的特性对应起来进行研究,为复杂系统的Petri网的分析提供了一种有效的途径。