Petri网化简技术的动态特性研究

Dynamic feature research into simplifying technology of Petri nets

对于大而复杂的Petri网,"节点过多,状态爆炸"一直是阻碍其技术发展的主要问题,因此,如何有效地简化Petri网一直是Petri网研究领域的一个研究热点。将Petri网简化为若干子网是一个很有效的方法。提出了库所指标概念,根据该指标,给出了Petri网的分解定义,并给出了相关算法。在此基础上,依据所给出的算法研究化简技术的动态特性,将子网与原网的特性对应起来进行研究,为复杂系统的Petri网的分析提供了一种有效的途径。

For the large and complicated Petri nets,the main problem hindering the technology development is always that ＂too many nodes lead to station explosion＂.Therefore,how to simplify Petri nets effectively has always been a research focus and to simplify it to be several subnets is a very effective method.With the decomposition method of Petri nets by defining an index function on the place set,this paper gave the decomposed definition of Petri nets and proposed the related algorithms.Based on the above research,according to the dynamic feature of simplifying technology via researches of the given algorithms,the authors studied the special properties of subnet correspondingly and provided an efficient approach to analyze the Petri nets of complicated systems.