期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
C/E系统的交替行为特性
被引量:
5
原文传递
导出
摘要
本文将C/E系统中事件交替实施定义为二元关系ALT,并定义一种系统基本现象:广义冲突.随后,导出了系统的交替行为特性以及二元关系ALT可传递的充分必要条件.
作者
陆维明
机构地区
中国科学院数学研究所
出处
《中国科学(A辑)》
CSCD
1993年第2期219-224,共6页
Science in China(Series A)
基金
国家自然科学基金
中国科学院管理
决策
信息系统实验室资助
关键词
PETRI网
C/E系统
交替实施关系
分类号
TP393 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
19
引证文献
5
二级引证文献
14
同被引文献
19
1
许安国,赵义军.
无冲突可重复网极小活标识的配置[J]
.系统仿真学报,2003,15(z1):35-39.
被引量:3
2
蒲飞,陆维明.
同步合成Petri网系统可回复性的保持性[J]
.系统工程理论与实践,2005,25(10):83-94.
被引量:4
3
蒲飞,陆维明.
共享合成Petri网系统的活性保持性[J]
.系统工程理论与实践,2005,25(11):70-78.
被引量:3
4
蒋昌俊,闫春钢.
同步合成网的进程特性研究[J]
.电子学报,1997,25(2):57-60.
被引量:12
5
陆维明.论活网中冻结标志的意义[J].中国科学:A辑,1988,31(7):776-784.
6
蒋昌俊,中国科学.E,1997年,27卷,6期,567页
7
陆维明,中国科学.A,1993年,23卷,2期,219页
8
Jiang C J,J Comput Sci Technol,1992年,7卷,4期,333页
9
陆维明,中国科学.A,1988年,31卷,7期,776页
10
蒋昌俊.
Petri网的动态不变性[J]
.中国科学(E辑),1997,27(6):567-573.
被引量:26
引证文献
5
1
许安国,赵义军.
几类合成网的性能分析[J]
.系统仿真学报,2005,17(z1):38-43.
2
王鹏伟,吴哲辉.
同步及共享合成操作对Petri网汇合性质的保持性[J]
.系统仿真学报,2007,19(A01):21-25.
被引量:1
3
杜玉越,曹德范,李孝忠.
T-组合Petri网的活性和公平性分析[J]
.计算机研究与发展,1999,36(2):182-185.
被引量:2
4
蒋昌俊.
同步合成网的完全顺序行为不变性[J]
.应用科学学报,2000,18(3):271-275.
被引量:11
5
杜玉越,曹德范,李孝忠,胥保华.
自由选择网的同步合成运算[J]
.聊城师院学报(自然科学版),1999,12(1):21-23.
二级引证文献
14
1
王培良,赵义军.
最大速度恒定的连续Petri网(CCPN)的性质判定及分解[J]
.系统仿真学报,2005,17(z1):48-51.
2
曾庆田,吴哲辉.
Petri网分解的保性条件分析[J]
.小型微型计算机系统,2004,25(9):1671-1675.
被引量:5
3
王永华,高宏伟.
基于PetriNet的钢胚磷化PLC控制系统建模及程序设计[J]
.郑州轻工业学院学报(自然科学版),2005,20(1):6-9.
被引量:1
4
罗时法.
论区域经济合作发展战略[J]
.黔南民族师范学院学报,2005,25(2):26-29.
被引量:1
5
曾庆田.
基于同步合成的Petri网基本进程段求解算法[J]
.微电子学与计算机,2006,23(6):9-12.
被引量:3
6
王鹏伟,吴哲辉.
同步及共享合成操作对Petri网汇合性质的保持性[J]
.系统仿真学报,2007,19(A01):21-25.
被引量:1
7
曾庆田.
一种基于同步合成构造Petri网进程表达式的方法[J]
.计算机学报,2008,31(3):381-390.
被引量:11
8
王鹏伟,吴哲辉.
几种满足汇合性质的Petri网子类[J]
.计算机工程,2009,35(4):44-47.
被引量:1
9
韩江洪,方华,刘小平.
Petri网的公平性及分析[J]
.系统仿真学报,2012,24(3):521-535.
被引量:7
10
闫春钢,汪明新,刘关俊.
有界Petri网进程表达式与活性的关系[J]
.应用科学学报,2012,30(4):387-390.
被引量:7
1
岁丰.
Novell操作系统的市场[J]
.管理观察,1997,0(6):47-48.
2
PlxelShader.
迎接Socket AM2新时代[J]
.计算机应用文摘,2006(10):39-39.
3
Java 2规范扩展了OSE系统的互操作性[J]
.电子产品世界,2004,11(06B):47-48.
4
郭壮辉,胡柯.
基于Petri网模型的典型技术及其应用[J]
.系统仿真技术,2006,2(2):102-107.
被引量:2
5
李彩虹,宋道金.
基于控制器行为特性的移动机器人路径规划的模糊控制[J]
.机电工程技术,2004,33(5):55-57.
被引量:1
6
向僵尸网络反击[J]
.信息安全与通信保密,2011,9(B01):22-23.
7
王逸,冯俊涛.
Flash课件中的控制声音按钮[J]
.中国教育技术装备,2004(8):47-48.
8
李华.
基于Web的多功能信息查询系统的设计与实现[J]
.机械工程与自动化,2014(4):64-65.
9
董长义,刘铁男,陈军.
一种交替更换控制量的自校正调节器[J]
.大庆石油学院学报,1992,16(1):95-101.
10
让模具制造更快捷[J]
.汽车制造业,2008(8):74-75.
中国科学(A辑)
1993年 第2期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部