收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 蒋昌俊;基于Petri网运算的系统范例分析[J];系统工程学报;1994年02期
2 李孝忠,杜玉越,么子皋,石凤来;对偶Petri网的运算及性能分析[J];聊城师范学院学报(自然科学版);1999年02期
3 李孝忠;王文德;杜玉越;;Petri网的组合并运算及性质[J];计算机科学;2000年08期
4 李俊;戴先中;孟正大;;一类用于网变换的Petri网代数系统[J];东南大学学报(自然科学版);2010年06期
5 苏炳洪;李灿;陈琰;张春波;王康元;邱家驹;;基于ESB的模块化电网运算服务架构[J];电力系统保护与控制;2010年09期
6 左凤朝;;M-Petri网的两类广义组合并网[J];计算机科学;2002年08期
7 蒋昌俊;加权T图的几种化简运算[J];通信学报;1994年02期
8 蒋昌俊,郑应平,疏松桂;基于Petri网语言的系统设计与分析[J];通信学报;1997年01期
9 李孝忠,杜玉越;Petri网的笛加运算及性质研究[J];小型微型计算机系统;1998年09期
10 李孝忠,杜玉越;Petri网的两类广义组合并网[J];同济大学学报(自然科学版);2001年07期
11 李孝忠;Petri网的组合积网及性能分析[J];小型微型计算机系统;2002年01期
12 李孝忠;Petri网的广义组合积网研究[J];计算机工程与科学;2004年08期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前1条
1 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
中国硕士学位论文全文数据库 前1条
1 贾广余;Petri网运算及其性质研究[D];山东科技大学;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978