期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
Petri网的动态不变性
被引量:
26
原文传递
导出
摘要
定义了Petri网的动态不变性概念,分别从行为和状态两方面刻划了系统合成过程中不变性特征.讨论了行为不变性与状态不变性之间的关系,获得判定不变性的代数判据,由此为系统合成的一致性检验提供了依据.
作者
蒋昌俊
机构地区
中国科学院计算技术研究所国家智能机中心
出处
《中国科学(E辑)》
CSCD
1997年第6期567-573,共7页
Science in China(Series E)
基金
国家自然科学(重点)基金
中国博士后科学基金
山东省自然科学基金联合资助项目
关键词
PETRI网
行为
状态
一致性
动态不变性
分类号
TP393.1 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
4
共引文献
0
同被引文献
192
引证文献
26
二级引证文献
102
参考文献
4
1
蒋昌俊,中国科学.A,1995年,25卷,12期,1315页
2
Cheng S C,ACM Softw Eng Not,1993年,18卷,5期,236页
3
陆维明,中国科学.A,1993年,23卷,3期,219页
4
蒋昌俊,J Comput Sci Technol,1992年,4期,333页
同被引文献
192
1
方欢,吴哲辉,崔焕庆.
基于Horn子句集的Pr/T网可达树的方案求解[J]
.系统仿真学报,2005,17(z1):163-165.
被引量:4
2
许安国,赵义军.
无冲突可重复网极小活标识的配置[J]
.系统仿真学报,2003,15(z1):35-39.
被引量:3
3
王培良,赵义军.
Petri网的公平分解和守恒分解[J]
.系统仿真学报,2003,15(z1):43-45.
被引量:4
4
曾庆田,吴哲辉.
Petri网分解的保性条件分析[J]
.小型微型计算机系统,2004,25(9):1671-1675.
被引量:5
5
王培良,吴哲辉.
公平网的一组直接判断条件[J]
.计算机学报,1993,16(1):53-58.
被引量:21
6
林闯.
Petri网用于Horn子句的逻辑推论[J]
.软件学报,1993,4(4):32-37.
被引量:6
7
许安国,吴哲辉.
加权T图的活性分析[J]
.软件学报,1993,4(6):16-21.
被引量:6
8
杨芙清.
软件工程技术发展思索[J]
.软件学报,2005,16(1):1-7.
被引量:266
9
陆维明,林闯.
生产系统的Petri网模型[J]
.自动化学报,1993,19(3):290-299.
被引量:9
10
陆维明.
C/E系统的交替行为特性[J]
.中国科学(A辑),1993,23(2):219-224.
被引量:5
引证文献
26
1
许安国,赵义军.
几类合成网的性能分析[J]
.系统仿真学报,2005,17(z1):38-43.
2
蒲飞,陆维明.
Petri网系统合成操作的活性保持性研究[J]
.系统仿真学报,2003,15(z1):17-25.
被引量:1
3
罗时法.
论区域经济合作发展战略[J]
.黔南民族师范学院学报,2005,25(2):26-29.
被引量:1
4
曾庆田.
基于变迁指标的Petri网分解方法[J]
.计算机科学,2006,33(1):144-146.
被引量:3
5
曾庆田.
基于同步合成的Petri网基本进程段求解算法[J]
.微电子学与计算机,2006,23(6):9-12.
被引量:3
6
焦莉,陆维明.
基于共享位置的Petri网系统综合与保性[J]
.计算机学报,2007,30(3):352-360.
被引量:6
7
夏传良.
Petri网共享T型子网合成结构性质分析及其应用[J]
.计算机科学,2007,34(3):240-245.
被引量:4
8
王鹏伟,吴哲辉.
同步及共享合成操作对Petri网汇合性质的保持性[J]
.系统仿真学报,2007,19(A01):21-25.
被引量:1
9
王鹏伟,吴哲辉.
几种满足汇合性质的Petri网子类[J]
.计算机工程,2009,35(4):44-47.
被引量:1
10
叶剑虹,宋文,孙世新.
空标识可再生网的运算和性质分析[J]
.计算机研究与发展,2009,46(8):1378-1385.
被引量:3
二级引证文献
102
1
刘勇,吴哲辉.
某类有界时序Petri网的原型网形式的转化[J]
.系统仿真学报,2005,17(z1):1-4.
2
曾庆田,范昊,吴哲辉.
Petri网进程的描述方法研究综述[J]
.系统仿真学报,2005,17(z1):7-11.
3
张继军,吴哲辉.
广义有界上下文无关语言与Petri网语言[J]
.系统仿真学报,2005,17(z1):26-29.
被引量:6
4
王培良,赵义军.
最大速度恒定的连续Petri网(CCPN)的性质判定及分解[J]
.系统仿真学报,2005,17(z1):48-51.
5
蒲飞,陆维明.
Petri网系统合成操作的活性保持性研究[J]
.系统仿真学报,2003,15(z1):17-25.
被引量:1
6
茹雨,吴维敏.
基于有限容量库所方法的死锁防止算法[J]
.系统仿真学报,2003,15(z1):59-62.
被引量:3
7
赵珂.
面向代码的构件技术在PLM系统开发中的应用[J]
.科技信息,2008(28):74-75.
8
陈丽玉,潘孝铭.
楼宇门禁系统基于petri网的分析和设计[J]
.科技信息,2008(24):420-421.
9
QingtianZENG ZhehuiWU.
Methods for behavior descriptions of structure-complex Petri nets[J]
.控制理论与应用(英文版),2004,2(1):93-98.
10
曾庆田,倪丽娜,范昊,段华.
同步与共享合成操作中子网的求解方法[J]
.山东科技大学学报(自然科学版),2004,23(2):61-64.
被引量:1
1
李清波,苟鹏飞,孙骏,杨兵,王进祥.
一种静态LoC关键性预测器设计[J]
.计算机工程,2012,38(7):253-256.
2
庞善臣,蒋昌俊,孙萍,周长红.
共享合成Petri网的性质分析[J]
.自动化学报,2004,30(6):944-948.
被引量:9
3
陆建波,廖伟志.
基于分解的连续Petri网性质分析方法[J]
.计算机应用研究,2014,31(11):3295-3298.
4
徐扬.
计算机信息管理在有线电视台的运用[J]
.有线电视技术,2005,12(16):79-82.
被引量:3
5
陈中育.
大型软件系统开发过程中面临的若干问题[J]
.浙江师大学报(自然科学版),1997,20(4):50-53.
6
鲁法明,曾庆田,段华,程久军.
基于同步核的BPMN模型融合[J]
.系统工程理论与实践,2016,36(3):795-804.
被引量:1
7
Zytronic投影电容技术(PCT)感应控制器为新一代触摸屏奠定基础[J]
.电子与电脑,2010(6):93-93.
8
计算机应用[J]
.电子科技文摘,2002,0(7):155-156.
9
洋洋.
澳大利亚着手准备DVB-H试验[J]
.卫星电视与宽带多媒体,2005(10):25-25.
10
王文丽,王银河,章云,王钦若.
基于局部模糊系统合成的一类非线性不确定系统自适应控制[J]
.控制与决策,2012,27(12):1849-1853.
被引量:1
中国科学(E辑)
1997年 第6期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部