首页> 中文会议>2006年全国开放式分布与并行计算学术会议 >基于Petri网的构件组装运算及其性质

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《2006年全国开放式分布与并行计算学术会议》|2006年|95-97100|共4页
会议地点西安
作者
张继军; 董卫;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类计算机网络;
关键词
Petri网; 构件网; 构件网表达式; 网运算;

相似文献

中文文献
外文文献
专利

1. 基于Petri网的构件组装运算及其性质 [J] . 张继军 ,董卫 . 微电子学与计算机 . 2006,第z1期
2. 基于Petri网的图书管理构件系统复合组装 [J] . 唐运璇 . 软件工程 . 2016,第002期
3. 基于Petri网的图书管理构件系统复合组装 [J] . 唐运璇 . 软件工程师 . 2016,第002期
4. 基于Petri网的构件表示及组装研究 [J] . 唐运璇 ,李奎 . 中小企业管理与科技 . 2016,第003期
5. 基于Petri网的构件组装模型 [J] . 杨鹤标 ,乔亦民 . 江苏大学学报（自然科学版） . 2010,第004期
6. 复合构件的组装方式及性质研究 [C] . 费玉奎 ,王志坚 ,艾萍 . 2003'全国软件与应用学术会议 . 2003
7. Petri网运算及其性质研究 [A] . 贾广余 . 2003

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号