###
DOI:
Journal of Software:2007.18(1):22-32

Petri网共享PP-型子网合成性质分析
夏传良,焦莉,陆维明
(中国科学院,数学与系统科学研究院,计算机科学研究室,北京,100080;计算机科学重点实验室(中国科学院,软件研究所),北京,100080;山东建筑大学,计算机科学与技术学院,山东,济南,250101)
Property Analysis of Synthesis of Petri Nets Shared PP-Type Subnets
XIA Chuan-Liang,JIAO Li,LU Wei-Ming
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2987   Download 3143
Received:April 22, 2005    Revised:April 03, 2006
> 中文摘要: Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetric choice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段.
中文关键词: Petri网  分析  合成  活性和有界性  子网
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60073013 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.G1998030416 (国家重点基础研究发展规划(973)) Supported by the National Natural Science Foundation of China under Grant No.60073013 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.G1998030416 (国家重点基础研究发展规划(973))
Foundation items:
Reference text:

夏传良,焦莉,陆维明.Petri网共享PP-型子网合成性质分析.软件学报,2007,18(1):22-32

XIA Chuan-Liang,JIAO Li,LU Wei-Ming.Property Analysis of Synthesis of Petri Nets Shared PP-Type Subnets.Journal of Software,2007,18(1):22-32