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

摘要：

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

关键词： Petri网 构件网 构件网表达式 网运算

作者: 张继军 董卫

作者单位: 山东农业大学,信息学院,山东,泰安,271018

会议类型: 国内会议

会议名称: 2006年全国开放式分布与并行计算学术会议

会议地点: 西安

会议语种:中文

页码: 95-97,100

在线出版日期: 2006-10-19（万方平台首次上网日期，不代表论文的发表时间）