Petri网进程的描述方法研究综述

A Survey on the Description for the Processes of Petri Net

下载PDF

导出

摘要综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.

作者曾庆田范昊吴哲辉

机构地区山东科技大学

出处《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期7-11,共5页 Journal of System Simulation

基金国家自然科学基金(60173053 和 60274063) 及山东省自然科学基金(Y2002G09)资助.

关键词 PETRI网进程满进程基本进程段进程表达式进程网系统

分类号 TP391 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

参考文献17

1[1]J.Peterson, Petri net theory and the modeling of systems [M]. Prentice-Hall: Inc. Englewood Cliffs, 1981.
2[2]Wolfgang Reisig. Petri Nets-An Introduction[M]. Springer Verlag, 1985.
3[3]Murata, Petri nets, properties, analysis and applications [J]. Proceedings of IEEE, 1989, 77(4): 541-577.
4[5]Gltz.U, Reisig,W. Processes of place/transition net, in Lecture Notes of Computer Science [M]. Springer Verlag, 1983.
5[6]Yuan ChongYi. Process Periods and System Reconstruction, in Lecture Notes of Computer Science [M]. Springer Verlag, 1985.
6[7]Lu Ruqian: P/R nets and P/R processes(Ⅰ) [J]. Science In China (Series E), 1992, 35(1): 21-31.
7[8]Lu Ruqian. P/R nets and P/R processes(Ⅱ) [J]. Science In China (Series E), 1992, 35(1): 148-157.
8曾庆田,吴哲辉.Petri网的进程网系统[J].计算机学报,2002,25(12):1308-1315. 被引量：31
9[10]Wu Zhehui. Process expression of bounded Petri net [J]. Science In China (Series E), 1996, 39(1): 37-49.
10吴哲辉,王培良,赵茂先.无界公平Petri网的进程表达式[J].计算机学报,2000,23(4):337-344. 被引量：20

二级参考文献41

1王培良,吴哲辉.公平网的一组直接判断条件[J].计算机学报,1993,16(1):53-58. 被引量：21
2吴哲辉.Pumping引理的Petri网描述──Petri网语言属型的一组判定条件[J].计算机学报,1994,17(11):852-858. 被引量：33
3蒋昌俊.求有效极小（受控）可重复向量的一个算法[J].计算机学报,1994,17(8):580-587. 被引量：14
4吴哲辉.有界Petri网的进程表达式[J].中国科学（A辑）,1995,25(12):1334-1340. 被引量：14
5蒋昌俊,闫春钢.同步合成网的进程特性研究[J].电子学报,1997,25(2):57-60. 被引量：12
6蒋昌俊吴哲辉王成红.PN语言识别器[J].电子学报,1998,26(2):127-129.
7[1]Gltz U, Reisig W. Processes of Place/Transition Net. LNCS 154, NewYork: Springer-Verlag, 1983. 264～277
8[2]Wolfgang Reisig. Petri Nets--An Introduction. Berlin:Springer Verlag, 1985
9[3]Lu Ru-Qian. P/R nets and P/R processes( Ⅰ ). Science in China (Series E),1992,35(1) :21～31
10[4]Lu Ru-Qian. P/R nets and P/R processes( Ⅱ ). Science in China (Series E) ,1992,35(1) :148～157

共引文献60

1张继军,吴哲辉.广义有界上下文无关语言与Petri网语言[J].系统仿真学报,2005,17(z1):26-29. 被引量：6
2王培良,赵义军.最大速度恒定的连续Petri网(CCPN)的性质判定及分解[J].系统仿真学报,2005,17(z1):48-51.
3QingtianZENG ZhehuiWU.Methods for behavior descriptions of structure-complex Petri nets[J].控制理论与应用（英文版）,2004,2(1):93-98.
4曾庆田,倪丽娜,范昊,段华.同步与共享合成操作中子网的求解方法[J].山东科技大学学报（自然科学版）,2004,23(2):61-64. 被引量：1
5万丽荣,曾庆良.分布式机械故障诊断系统的协调机制及其分析[J].煤炭学报,2004,29(4):492-496. 被引量：2
6曾庆田,吴哲辉.Petri网分解的保性条件分析[J].小型微型计算机系统,2004,25(9):1671-1675. 被引量：5
7段华,曾庆田.S-网的活性分析[J].小型微型计算机系统,2004,25(11):1975-1978. 被引量：5
8魏尚俊,刘卫东,成光,祝从民,张蕊.基于Petri网的叉车控制系统综合设计[J].机械与电子,2004,22(10):32-34.
9曾庆良,万丽荣.基于规则的机械故障诊断系统的验证模型与方法[J].机械工程学报,2004,40(10):155-160. 被引量：2
10曾庆田.基于库所指标分解的Petri网活性与公平性分析[J].小型微型计算机系统,2005,26(2):226-229. 被引量：6

1曾庆田,吴哲辉,马炳先.基于进程网系统的Petri网性质分析[J].山东科技大学学报（自然科学版）,2003,22(2):11-15.
2曾庆田,吴哲辉.Petri网的进程网系统[J].计算机学报,2002,25(12):1308-1315. 被引量：31
3曾庆田,吴哲辉,马炳先.Petri网的进程表达式与语言表达式[J].小型微型计算机系统,2004,25(4):654-658. 被引量：7
4曾庆田,吴哲辉.无界Petri网的进程表达式[J].计算机学报,2003,26(12):1629-1636. 被引量：26
5王培良,蒋昌俊.利用关联矩阵的秩判断Petri网的公平性[J].软件学报,1994,5(12):24-29. 被引量：6
6吴哲辉,王培良,赵茂先.无界公平Petri网的进程表达式[J].计算机学报,2000,23(4):337-344. 被引量：20
7关闭任务管理器杀不了的进程[J].电脑爱好者,2013(4):49-49.
8施洲琪,丁志军,陈闳中.Petri网弱公平性和公平性关系的进一步研究[J].计算机科学,2014,41(7):49-51.
9范昊,束德勤.基于Petri网进程的协议测试例生成方法及其实例[J].系统仿真学报,2008,20(S2):25-28. 被引量：2
10郭峰,杨颜公,闫琦,乔磊.基于进程网模型的仿真技术研究[J].中国新技术新产品,2015(13):33-34.

系统仿真学报

2005年第z1期

浏览历史

内容加载中请稍等...

Petri网进程的描述方法研究综述

参考文献17

二级参考文献41

共引文献60

相关作者

相关机构

相关主题

浏览历史