学术探索
学术期刊
学术作者
新闻热点
数据分析
智能评审
Petri网的位置合成运算
被引:5
作者
:
阎春钢
论文数:
0
引用数:
0
h-index:
0
机构:
同济大学,同济大学,中科院计算技术研究所国家智能机研究开发中心
阎春钢
论文数:
引用数:
h-index:
机构:
蒋昌俊
机构
:
[1]
同济大学,同济大学,中科院计算技术研究所国家智能机研究开发中心
来源
:
系统工程学报
|
1998年
/ 04期
基金
:
中国博士后科学基金;
关键词
:
Petri网,合成运算,静态性质,动态性质;
D O I
:
暂无
中图分类号
:
O233 [逻辑网络理论];
学科分类号
:
070105
[运筹学与控制论]
;
摘要
:
提出Petri网的位置合成方法,讨论了该运算对网的静态性质(包括结构有界性,可重复性,守恒性,相容性及S(T)-不变量等)和动态性质(可逆性,活性等)保持条件,这些结果对于复杂系统的合成与分析有一定的作用
引用
收藏
页数:7
相关论文
共 2 条
[1]
几类图张量乘积的同构因子分解
[J].
论文数:
引用数:
h-index:
机构:
闫春钢
;
蒋昌俊
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院
蒋昌俊
.
数学物理学报,
1995,
(S1)
[2]
矢量文法与PN机
[J].
论文数:
引用数:
h-index:
机构:
蒋昌俊
.
中国科学(A辑 数学 物理学 天文学 技术科学),
1995,
(12)
:1315
-1322
←
1
→
共 2 条
[1]
几类图张量乘积的同构因子分解
[J].
论文数:
引用数:
h-index:
机构:
闫春钢
;
蒋昌俊
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院
蒋昌俊
.
数学物理学报,
1995,
(S1)
[2]
矢量文法与PN机
[J].
论文数:
引用数:
h-index:
机构:
蒋昌俊
.
中国科学(A辑 数学 物理学 天文学 技术科学),
1995,
(12)
:1315
-1322
←
1
→