基于Petri网的构件组装运算及其性质

• 作者: 张继军 董卫
• 来源期刊: 微电子学与计算机
• 关键词: Petri网 构件网 构件网表达式 网运算
• 年，卷（期）: 2006,（z1）
• 页码范围: 95-97,100
• 页数: 4页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.z1.033

摘要

文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进行自动分析和验证的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张继军	山东农业大学信息学院	25	123	7.0	9.0
2	董卫	山东农业大学信息学院	9	19	3.0	4.0