期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
P/T_网与P/T_系统的同类性证明
下载PDF
职称材料
导出
摘要
在 Petri网研究领域中 ,一直把 P/ T网 (即经典意义上的 Petri网系统 )与 P/ T系统 (即库所 /变迁系统 )划分为两类不同的 Petri网进行研究。实际上 ,这两类 Petri网没有质的区别 ,只要适当做些技术性处理 ,并将这些技术性处理建立在严格的同类性证明之上 ,即可把它们视为同一类 Petri网系统。
作者
乐晓波
黄敏
机构地区
长沙交通学院计算机系
出处
《计算技术与自动化》
2000年第3期16-20,共5页
Computing Technology and Automation
关键词
PETRI网
P/T_系统
同类性证明
计算机科学
分类号
TP393.1 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
4
参考文献
2
共引文献
23
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
2
1
Lin C, Chaudhury A, Whiston A B, Marinescu D C. Logical inference of Horn clauses in Petri net models[J]. IEEE Trans on Knowledge and Data Engineering, 1993 , 5 (3): 416-425.
2
杜玉越,李孝忠.
S-组合Petri网的活性分析与实现[J]
.计算机学报,1998,21(8):747-752.
被引量:24
二级参考文献
4
1
崔亚军,王君英.
共享竞争择一资源Petri网的形式化设计方法[J]
.计算机学报,1993,16(10):730-738.
被引量:2
2
王培良,东南大学学报,1995年,25卷,3A期,25页
3
陆维明,中国科学.A,1988年,31卷,7期,776页
4
吴哲辉.
有界Petri网的活性和公平性的分析与实现[J]
.计算机学报,1989,12(4):267-278.
被引量:58
共引文献
23
1
许安国,赵义军.
几类合成网的性能分析[J]
.系统仿真学报,2005,17(z1):38-43.
2
庞善臣,蒋昌俊,孙萍,周长红.
共享合成Petri网的性质分析[J]
.自动化学报,2004,30(6):944-948.
被引量:9
3
李秀荣.
浅析资产减值准备对企业会计数据的影响[J]
.科技情报开发与经济,2005,15(23):124-126.
被引量:1
4
夏传良,鞠彦兵,李盛恩.
Petri网共享P型子网合成及其在系统设计中的应用[J]
.系统仿真学报,2007,19(2):355-360.
被引量:8
5
焦莉,陆维明.
基于共享位置的Petri网系统综合与保性[J]
.计算机学报,2007,30(3):352-360.
被引量:6
6
王鹏伟,吴哲辉.
同步及共享合成操作对Petri网汇合性质的保持性[J]
.系统仿真学报,2007,19(A01):21-25.
被引量:1
7
王鹏伟,吴哲辉.
几种满足汇合性质的Petri网子类[J]
.计算机工程,2009,35(4):44-47.
被引量:1
8
李孝忠.
Petri网的块组合积运算及其性质研究[J]
.陕西师范大学学报(自然科学版),2004,32(S1):158-160.
9
张锋,吴哲辉.
S-组合Petri网的进程特性分析[J]
.小型微型计算机系统,2010,31(4):744-746.
被引量:1
10
杜玉越,李孝忠,乔丙武.
ST-组合Petri网的结构性质分析[J]
.小型微型计算机系统,1999,20(10):789-793.
被引量:2
1
王玮,徐丽杰,王林.
基于扩展P/T-系统的工作流模型及执行算法研究[J]
.计算机集成制造系统-CIMS,2003,9(8):630-634.
被引量:4
2
孟永刚,宋文,叶剑虹.
基于Petri网的网上股票交易系统模拟与验证[J]
.微计算机信息,2006(09X):226-228.
被引量:1
3
娄渊胜,刘瑾,黄龙达.
基于扩展的P/T_系统工作流建模的研究[J]
.系统仿真学报,2007,19(A01):158-160.
4
孟永刚,胡吉朝,贺毅朝.
一种Token Ring的P/T_系统模型与分析[J]
.福建电脑,2009,25(6):11-11.
5
毕军,吴建平,朱江.
基于扩展变迁系统的分布式系统一致性测试研究[J]
.电子学报,2000,28(2):130-132.
被引量:1
6
王丽丽,方贤文,方欢,蔡瑞文.
P/T_网中的同步距离[J]
.计算机工程与应用,2014,50(23):47-50.
7
何锫,黄海,张远平.
上下文无关文法的可视化描述[J]
.广州大学学报(自然科学版),2016,15(1):8-12.
8
王聪,王智学.
UML活动图的操作语义[J]
.计算机研究与发展,2007,44(10):1801-1807.
被引量:9
9
龚恒.
SMT焊点图像处理及焊点三维质量信息提取技术研究[J]
.电脑知识与技术(过刊),2013,19(12X):8058-8059.
10
毕忠勤,曾振柄,郭远华.
非线性循环不变式的自动生成[J]
.计算机应用,2008,28(7):1854-1857.
被引量:4
计算技术与自动化
2000年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部