Petri网的位置合成运算

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