期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
WINDOWS环境下的Petri网覆盖树表示
被引量：
5
The Global Properties of Valid Formulas in Modal Logic K
下载PDF
职称材料
导出
摘要
求文通过采用面向对象的方法，研究Ｐｅｔｒｉ网覆盖树的表示，并在ＷＩＮＤＯＷＳ环境下完成了这个辅助工具的研究与开发。
作者
杨光宇
机构地区
中国科学院自动化研究所
出处
《计算机应用研究》
CSCD
1996年第3期19-21,共3页
Application Research of Computers
关键词
PETRI网
覆盖树
面向对象
WINDOWS
Modal logic system K, global property, tableau method, automated reasoning
分类号
TP393 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
48
参考文献
1
共引文献
38
同被引文献
4
引证文献
5
二级引证文献
20
参考文献
1
1
郑大钟,郑应平.
离散事件动态系统理论:现状和展望[J]
.自动化学报,1992,18(2):129-142.
被引量：39
二级参考文献
48
1
汪自勤,宋文忠,冯纯伯.
离散事件动态系统的分析和优化——排队网络模型方法(上)[J]
.信息与控制,1989,18(6):31-40.
被引量：5
2
Ho Y C，J Optim Theroy Appl，1983年，40卷，4期，559页
3
Ho Y C，Manag Sci，1983年，29卷，6期，700页
4
Ho Y C，IEEE Trans AC，1979年，24卷，6期，982页
5
Ho Y C，Int J Prod Res，1979年，17卷，6期，557页
6
曹希仁，自动化学报，1985年，11卷，4期，438页
7
Lin F，Inform Sci，1988年，44卷，199页
8
Lin F，Int J Contr，1988年，48卷，321页
9
Ho Y C，1988年
10
袁崇义，Petri网理论，1989年
共引文献
38
1
戴志勇,赵臻.
FMS加工周期函数的特性与缓冲区容量的最优分配[J]
.武汉纺织大学学报,1994,21(S1):16-21.
被引量：2
2
张伟,孙优贤.
连续系统的受控连续Petri网模型[J]
.浙江大学学报（工学版）,2001,35(3):312-317.
被引量：1
3
Hong-YeSU Wei-MinWU JianCHU.
Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems[J]
.自动化学报,2005,31(1):143-150.
被引量：1
4
颜文俊,孙优贤.
一类多功能间歇装置的离散事件建模及分析[J]
.信息与控制,1993,22(5):257-262.
5
蒋式勤,吴启迪,唐冶文,乔非,严隽薇.
有色、计时Petri网在柔性制造系统作业调度仿真中的应用[J]
.组合机床与自动化加工技术,1993(5):40-42.
被引量：1
6
疏松桂,谭民.
串行离散事件动态系统的建模、分析及设计[J]
.控制与决策,1994,9(1):43-48.
被引量：5
7
王意冈,申金升,王浣尘.
宏观经济调控系统与Petri网[J]
.系统工程,1994,12(1):1-7.
被引量：3
8
郭彩芬,王宁生.
串行生产线生产率的最优控制[J]
.机械科学与技术,2005,24(4):408-411.
被引量：2
9
李彦平,万福才,李雪飞,李建华.
复杂工业过程集成建模及其实时监控与调度[J]
.控制工程,2005,12(4):299-301.
10
田华,吴启迪.
国内外智能控制系统发展概述[J]
.高技术通讯,1995,5(9):59-62.
被引量：2
同被引文献
4
1
Peterson JL. Petrinet theory and the modeling of systems[M].Engle wood Cliffs, Nj, Prenfic- Hall,Inc.1981.
2
袁崇义.Petri网原理[M]电子工业出版社,1998.
3
周建涛,叶新铭.
一种构造Petri网可达图的方法[J]
.内蒙古大学学报（自然科学版）,1999,30(3):392-395.
被引量：8
4
唐培和.
Petri网可达树的构造与实现[J]
.广西工学院学报,2003,14(1):31-34.
被引量：5
引证文献
5
1
程艳.
创设探究性问题情境[J]
.福建教育学院学报,2005,2(3):64-64.
被引量：1
2
宫蓉蓉.
基于Petri网的可达树与可达图的构造与算法实现[J]
.计算机与数字工程,2006,34(1):111-113.
被引量：6
3
周建涛,叶新铭.
一种构造Petri网可达图的方法[J]
.内蒙古大学学报（自然科学版）,1999,30(3):392-395.
被引量：8
4
周建涛,叶新铭.
Petri网的可达图与可达树的比较[J]
.内蒙古大学学报（自然科学版）,2000,31(1):117-120.
被引量：7
5
李飞行.
VC环境下构造和实现Petri网可达树[J]
.信息与电脑（理论版）,2010(12):109-110.
二级引证文献
20
1
刘亮,叶新铭.
安全Petri网位置不变式的一种生成算法[J]
.内蒙古大学学报（自然科学版）,2005,36(1):94-99.
被引量：1
2
程艳.
创设探究性问题情境[J]
.福建教育学院学报,2005,2(3):64-64.
被引量：1
3
崔文成,杨雪,葛睿,邵虹,于淼.
基于高级Petri网的住院医师培训工作流建模与分析[J]
.沈阳工业大学学报,2010,32(6):687-692.
被引量：1
4
宫蓉蓉.
基于Petri网的可达树与可达图的构造与算法实现[J]
.计算机与数字工程,2006,34(1):111-113.
被引量：6
5
郭长友,郑文艳,周智刚.
利用可达性图判断petri网的可达性以及活性[J]
.中国科技信息,2006(12):147-148.
6
叶传秀,赵美艳.
一种集成U-P的工作流建模方法与正确性分析[J]
.计算机与现代化,2010(2):118-120.
7
赵珊,马光思,毛宏燕.
基于分层Petri网的仓储管理建模与验证[J]
.计算机技术与发展,2010,20(12):29-33.
被引量：3
8
王佳慧,王书锋.
随机Petri网可视化软件的设计与实现[J]
.计算机工程与设计,2011,32(5):1845-1848.
被引量：4
9
尹文彬,许腾,侯博,盖世昌.
舰载航空兵防空作战指挥流程时间性能分析[J]
.火力与指挥控制,2011,36(6):106-108.
被引量：5
10
周建涛,叶新铭.
Petri网的可达图与可达树的比较[J]
.内蒙古大学学报（自然科学版）,2000,31(1):117-120.
被引量：7
1
刘继承,张爱茹,李征鸿,张严,任梓健.
基于petri网的文件审批系统工作流建模[J]
.微型机与应用,2013,32(2):77-80.
被引量：8
2
陆以勤,叶青,贺前华,韦岗.
改进覆盖树与标识网死锁的检测[J]
.华南理工大学学报（自然科学版）,2001,29(8):60-64.
被引量：1
3
高显岑,崔伟,黄道颖,李健勇,李建春.
基于P2P覆盖树网络的流媒体传输技术优化研究[J]
.计算机工程与设计,2008,29(12):3139-3141.
4
王石,王意洁.
基于覆盖树的可扩展邻近搜索方法[J]
.计算机工程,2010,36(20):86-87.
5
韩咚,陈波.
基于时间Petri网的多处理机的调度算法[J]
.计算机技术与发展,2007,17(6):15-17.
被引量：4
6
郑海燕,刘宁,张俊.
一种关系数据库对象级别检索结果的聚类方法[J]
.计算机应用与软件,2014,31(11):40-44.
7
曹国荣,谭庆平,解金刚,吴浩.
基于规范流网的Web服务行为适配方法研究[J]
.计算机科学,2012,39(10):108-114.
被引量：1
8
董子禾,闻立杰,黄浩未,王建民.
基于触发序列集合的过程模型行为相似性算法[J]
.软件学报,2015,26(3):449-459.
被引量：21
9
李书文.
网络拓扑结构中任意两结点间的最优测试[J]
.计算机研究与发展,1994,31(11):12-15.
10
陈平华,刘怡俊,邱经华.
单触发Petri网的一个可达性判定方法[J]
.现代计算机,2006,12(6):70-72.
计算机应用研究
1996年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
