摘要
本文提出了 M- Petri网的组合并运算 ,包括 M- Petri网的笛并运算和广义笛并运算、M- Petri网的 型组合并运算和 型组合并运算 ,讨论了保持网的结构性质的条件 ,为 M-
Composition union nets of M Petri nets are proposed in this paper. Cartesian union operation and two kinds of composition union operations are discussed. The condition for reserving structural properties of M Petri net after composition are given. These results provide new methods for synthesis and analysis of M Petri nets.
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第9期1125-1128,共4页
Journal of Chinese Computer Systems
基金
山东省自然科学基金资助课题 (编号 :G0 810 8)资助
关键词
M-PETRI网
组合并运算
性质
笛并网
M Petri net
composition union net
cartesian union net
structural property
