Two Kinds of Composition Petri Nets and Their Properties Analysis

微信服务号

微信订阅号

2025-4-25- 14

Home
About JOS
Editorial Board
Instructions
Ethics Statement
Archive
Contact
Chinese

Home > Archive>Volume 9, Issue 8, 1998 >619-621 Online First

PDF HTML XML Export Cite reminder

Two Kinds of Composition Petri Nets and Their Properties Analysis
DOI:
                        
                    
Author:
                        LI Xiao-zhongLI Xiao-zhong

Find this author on CNKI
Find this author on BaiDu
Search for this author on this site
DU Yu-yueDU Yu-yue

Find this author on CNKI
Find this author on BaiDu
Search for this author on this site

                    
Affiliation:
Clc Number:
Fund Project:

Article

Figures

Metrics

Reference [1]

Related [20]

Cited by [16]

Materials

Comments

Abstract:

Two kinds of composition Petri nets are proposed in order to analyze the properties of a complicated nets. The condition for reserving structural properties of Petri net after composition are discussed. These results provide new methods for synthesis and analysis of P/T nets.

Key words:Petri net, composition Petri net, structural property.

Reference

1　 Jiang Chang-jun, Wu Zhe-hui. Net operations. Journal of Computer Science and Technology, 1992,7(4):333～344 2　蒋昌俊.Petri网的广义笛积运算.自动化学报,1993,19(6):745～748 (Jiang Chang-jun. Generalized Cartesian production operations of Petri nets. Acta Automatic Sinica, 1993,19(6):745～748) 3　王培良,蒋昌俊.Petri网的并运算.西北大学学报,1997,27(增刊):111～114 (Wang Pei-liang, Jiang Chang-jun. Union operation of Petri nets. Journal of Northwest University, 1997,27(supplement):111～114) 4　杜玉越,李孝忠等.一种组合Petri网的性能分析.西北大学学报,1997,27(增刊):126～129 (Du Yu-yue, Li Xiao-zhong et al. Analysis of property for one class of composition Petri nets. Journal of Northwest University, 1997,27(supplement):126～129) 5　 Berthelot G, Roucairol G, Valk R. Reduction of nets and parallel programs. Lecture Notes in Computer Science, 1980,84(15):277～290 6　 Murata T, Koh J Y. Reduction and expansion of live and safe marked graphs. IEEE Transactions on Circuits System, 1980,CAS-27:68～70 7　蒋昌俊.加权T-图的几种化简运算.通讯学报,1994,15(2):97～102 (Jiang Chang-jun. Several reduction operations of weighted T-graph. Journal of Communication, 1994,15(2):97～102) 8　许安国,蒋昌俊.P/T网的化简运算及其性质研究.软件学报,1997,8(7):493～504 (Xu An-guo, Jiang Chang-jun. The reduction operations and their properties for P/T nets. Journal of Software, 1997,8(7):493～504)

[1]LI Xiao-zhong and DU Yu-yue.Two Kinds of Composition Petri Nets and Their Properties Analysis[J].Journal of Software,1998,9(8):619-621.

[2]JIANG Chang-jun and LU Wei-ming.On Properties of Concurrent System Based on Petri Net Language[J].Journal of Software,2001,12(4):512-520.

[3]Zuo Feng-chao.Composition Properties for M-Petri Net[J].Mini-micro Systems,2004,25(10):1796-1798.

[4]LI Xiao-zhong.Generalized Composition Product Nets for Petri Net[J].Computer Engineering & Science,2004,26(8):86-88.

[5]ZUO,Feng,chao.Composition Union Operations and Their Properties for M-Petri Nets[J].Mini-micro Systems,2002,23(9):1125-1128.

[6]LI Xiao-zhong,DU Yu-yue.BLOCK COMPOSITION ADDITION NETS OF PETRI NETS AND THEIR PROPERTIES[J].Mini-micro Systems,2000,21(10):1062-1064.

[7]WANG Pei-liang,ZHAO Yi-jun and YE Zhi-bao.Union Decomposition of Petri Net[J].Control Theory & Applications,2001,18(1):116-118.

[8]LI,Xiao,zhong.Composition Product Operations and TheirPerformance Analysis for Petri Nets[J].Mini-micro Systems,2002,23(1):98-100.

[9]DU,Yu,yue,LI,Xiao,zhong,QIAO,Bing,wu.ON STRUCTURAL PROPERTY PRESERVATION BY ST COMPOSITION OF PETRI NETS[J].Mini-micro Systems,1999,20(10):789-793.

[10]ZHU Jun,ZENG Qingtian.Property Analysis of Petri Nets Based on Decomposition According to Indexes of Transitions[J].Journal of Frontier of Computer Science and Technology,2010,4(8):761-768.

[11]ZHU Jun,ZENG Qingtian.Structural Property Analysis of Petri Nets Based on Decomposition According to Indexes of Places[J].Journal of Frontier of Computer Science and Technology,2009,3(1):91-97.

[12]PANG Shan-Chen,JIANG Chang-Jun,SUN Ping,ZHOU Chang-Hong.Property Analysis of Shared Composition Petri Nets[J].Acta Automatica Sinica,2004,30(6):944-948.

[13]左凤朝.Two Kinds of General Composition Union Nets for M-Petri Nets[J].Computer Science,2002,29(8):19-21.

[14]邢科义胡保生,万百五.离散制造装配系统的活性控制¹⁾[J].Acta Automatica Sinica,1999,25(2):1.

[15]YU Hong,LI Zhan-huai.The Model Combination Research based on Petri Net[J].Microprocessors,2008,29(4).

[16]Xing keyi,Li Junming,Hu Baosheng.Synthesis of Optimal Live Petri Net Models for a Class of FMS[J].Acta Automatica Sinica,1997,23(6):762-767.

[17]DING Zhi-jun,JIANG Chang-jun.Petri nets modeling and analysis method based on the refinement operation[J].Control and Decision,2007,22(2):138-142.

[18]王文德左凤朝.Duality Property of Petri Nets[J].Computer Science,2001,28(6):123-124.

[19]FU Jian-Feng,DONG Li-Da,XU Shan-Shan,ZHU Dan,ZHU Cheng-Cheng.An Improved Liveness Condition for S⁴PR Nets[J].Acta Automatica Sinica,2013,39(9):1439-1446.

[20]ZHANG Ji-jun,WU Zhe-hui.The Pumping Lemma for Context-free Language of Petri Net[J].Mini-micro Systems,2008,29(4):698-702.

Cited by

[1]LI Xiao-zhong.BCP operations and their properties for petri nets[J].Journal of Shaanxi Normal University: Nat Sci Ed,2004(Z1).

[2]LI Xiao-zhong.Generalized Composition Product Nets for Petri Net[J].Computer Engineering & Science,2004,26(8):86-88.

[3]邓莹古天龙.基于Petri网的协议分析技术及工具[J].Journal of Guilin Institute of Electronic Technology,2002,22(1):6-11.

[4]左风朝.Composition Properties for M-Petri Net[J].Mini-micro Systems,2004,25(10):1796-1798.

[5]GAO Hong-wei1,LI Shu-jun2,WANG Yong-hua2.Billet Phosphide PLC Control System Based on Petri Net[J].Instrument Technique and Sensor,2004(6):17-18,36.

[6]PANG Shan-Chen~.Property Analysis of Shared Composition Petri Nets[J].Acta Automatica Sinica,2004,30(6):944-948.

[7]LI,Xiao,zhong,DU,Yu,yue.BLOCK COMPOSITION ADDITION NETS OF PETRI NETS AND THEIR PROPERTIES[J].Mini-micro Systems,2000,21(10):1062-1064.

[8]李孝忠　汪保明　曹建　胡玉华.Block Composition Union Nets of Petri Nets and Their Properties[J].Journal of Liaocheng University:Natural Science Edition,2001,14(2):32-34.

[9]李孝忠　杜玉越.Two Kinds of General Composition Union Nets for Petri Nets[J].Journal of Tongji University(Natural Science),2001,29(7):822-825.

[10]LU Yang,YANG Qing-qing,HAN Jiang-hong.Modeling for Belt Conveyer System Based on Inhibitor-combination CTPN[J].Journal of System Simulation,2007,19(19):4521-4525.

[11]李孝忠.Composition Product Operations and TheirPerformance Analysis for Petri Nets[J].Mini-micro Systems,2002,23(1):98-100.

[12]ZUO,Feng,chao.Composition Union Operations and Their Properties for M-Petri Nets[J].Mini-micro Systems,2002,23(9):1125-1128.

[13]DENG Ying,GU Tian,long.The Research on the Analysis Tool and Technology for the Petri Net-based Network Protocol[J].Journal of Guilin Institute of Electronic Technology,2002,22(1):6-11.

[14]左凤朝.Two Kinds of General Composition Union Nets for M-Petri Nets[J].Computer Science,2002,29(8):19-21.

[15]李孝忠王文德.Composition Union Operations of Petri Nets and the Structural Property[J].Computer Science,2000,27(8):59-62.

[16]李孝忠杜玉越.Petri网的笛加运算及性能研究[J].Mini-micro Systems,1998,19(9):50-54.

Comments

分享到微博

Submit

Get Citation

李孝忠,杜玉越.两类组合Petri网与性能分析^*.软件学报,1998,9(8):619-621

Copy

微信扫一扫：分享

微信里点“发现”，扫一下

二维码便可将本文分享至朋友圈。

Article Metrics

Abstract:3456
PDF: 4340
HTML: 0
Cited by: 0

History

Received:October 28,1997
Revised:January 08,1998
Adopted:
Online:
Published:

Links:Institute of Software, CASChina Computer FederationCASNSFC

You are the first2038700Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063