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

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.18, No.1, January 2007, pp.22−32 DOI: 10.1360/jos180022 Tel/Fax: +86-10 © 2007 by Journal of Softwar e. All rights reserved. ∗ Petri 网共享 PP-型子网合成性质分析 1,2,3+ 2 1 夏传良 , 焦 莉 , 陆维明 1( 中国科学院 数学与系统科学研究院 计算机科学研究室,北京 100080) 2(计算机科学重点实验室( 中国科学院 软件研究所),北京 100080) 3( 山东建筑大学 计算机科学与技术学院, 山东 济南 250101) Property Analysis of Synthesis of Petri Nets Shared PP-Type Subnets 1,2,3+ 2 1 XIA Chuan-Liang , JIAO Li , LU Wei-Ming 1(Department of Computer Science, Academy of Mathematics and Systems Science, The Chinese Academy of Sciences, Beijing 100080, China) 2(Laboratory of Computer Science (Institute of Software, The Chinese Academy of Sciences), Beijing 100080, China) 3(School of Computer Science and Technology, Shandong Jianzhu University, Ji’nan 250101, China) + Corresponding author: Phn: +86-10 Fax: +86-10 E-mail: xcl@, Xia CL, Jiao L, Lu WM. Property analysis of synthesis of Petri nets shared PP-type subnets. Journal of Software, 2007,18(1):22−32. /1000-9825/18/22.htm 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 liv