Petri网共享PP-型子网合成性质分析  

Property Analysis of Synthesis of Petri Nets Shared PP-Type Subnets

作　　者：夏传良[1] 焦莉[2] 陆维明[1] 

机构地区：[1]中国科学院数学与系统科学研究院计算机科学研究室,北京100080 [2]计算机科学重点实验室(中国科学院软件研究所),北京100080

出　　处：《软件学报》2007年第1期22-32,共11页Journal of Software

基　　金：国家自然科学基金;国家重点基础研究发展规划基金(973)~~

摘　　要：Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetricchoice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段.Petri net synthesis can avoid the state exploration problem, which is of exponential complexity, by guaranteeing the correctness in the Petri net while incrementally expanding the net. To solve the resource-sharing problem, Jiao L, et al., investigate the transformation of merging a set of places of an asymmetric choice （AC） net satisfying siphon-trap-property （ST-property）, and present the conditions for it to preserve liveness, boundedness and reversibility. The major motivation of this paper is to generalize the results of Jiao＇s research and to extend the place-merging problem to subnet-sharing synthesis problem on AC nets or Petri nets beyond AC nets. The conditions of liveness preservation, boundedness preservation and reversibility preservation are presented. The conditions are also presented to show that the synthesis net of AC nets is an AC net. These results are useful for studying the static and dynamic properties of Petri synthesis nets, and for analyzing properties of large complex system.

关 键 词：PETRI网 分析 合成 活性和有界性 子网 

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