摘要
Petri网是系统建模和行为分析的有力工具,在很多领域得到广泛应用。但"节点过多,状态爆炸"是阻碍Petri网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂。化简Petri网一直是Petri网工作者研究的重点,将Petri网分解为若干子网是一种非常有效的化简方法。对Petri网的并分解技术进行了研究,依据并分解定义提出了一种将无环路、多输出库所网分解为若干个单一输出库所子网的新技术。
Petri net is a powerful tool for modeling and analyzing systems. It is widely used in a lot of kinds of fields. But there is a problem which bars Petri net development: too much nodes lead to "station explosion", specially when analysing a large and complicated system. How to simplify the Petri net is always an important task for the petri net researchers .This test discusses the union decomposition techenology of Petri net ,and puts forward a new technology to decompose the net with no loop, multi-output.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期110-113,共4页
Journal of System Simulation
基金
湖南省教育厅科研基金重点资助项目(06A003)
关键词
PETRI网
化简
并分解
状态爆炸
Petri net
simplify
union decomposition
station explosion