Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra

来源 :自动化学报:英文版 | 被引量 : 0次 | 上传用户:3pei
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to allow a finite specification of an inf
其他文献
<正>编辑导语谁都有失意的时候,尤其像本文的小作者一样,看到原来在一个班级的同学都去了另一个班,只剩下自己等少数同学"原地踏步"。人先知耻而后勇,只有真正地伤心过,失望
案情简介 2004年某月,某纸业公司成品仓库行吊进行吊纸作业时,吊具螺栓突然断裂。重达4.2吨纸卷掉落时撞翻了堆放在下面的纸卷,由此引发多米诺效应,顷刻间仓储纸卷大面积倒塌受损
伴随着知识经济时代的到来,企业之间的竞争越来越激烈,而表现最为突出的方面就是企业间人才的竞争。企业要想在激烈的人才竞争中吸引、维系和激励优秀的人才为其所服务,必须要为
期刊
期刊
期刊
This paper investigates the receding horizon state estimation for the linear discrete-time system with multi-channel observation delays. The receding horizon es
《中华人民共和国保险法》(以下简称《保险法》)第45条第1款规定:“因第三者对保险标的的损害而造成保险事故的,保险人自向被保险人赔偿保险金之日起,在赔偿金额范围内代位行使
In this paper, we mainly address the position control problem for one-degree of freedom(DOF) link manipulator despite uncertainties and the input saturation via