模糊时间Petri网及其时间推理方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:wstpxx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述法。可达树分析法是针对某一个初始标识的,一个新的初始标识就意味着需要重新构造可达状态图;当系统存在较多
其他文献
<正> 1 引言目前,Internet/Intranet正在飞速发展,而Web是Internet/Intranet上一种最有效的信息交流方式,用户可以通过访问Web站点来获得信息、服务,并反馈意见。因此,对于普
1.引言  随着信息技术的飞速发展,司法部门传统的行政管理模式已无法适应以网络时代为特征的外部环境,甚至阻碍了发展.为了加快司法部门的信息化建设,改变长期存在的行政管
期刊
<正> 1 引言移动空间对象是随时间变化的空间数据,由时空数据库(Spatio-Temporal Databases)进行管理和处理。一个空间点可能随时间而改变其位置,为了完整地反映该点的信息,
<正> 1 引言许多植物的建模方法往往只注重模拟植物的生长,如L-系统主要是通过一系列产生规则模拟植物的生长过程,A-系统和忠实于植物真实结构和生长的系统同样也是着重于植
<正> 计算机应用系统的日益复杂和庞大,使得软件体系结构的研究成为当前的研究热点。软件体系结构设计已经成为软件生命周期中的一个重要环节。但是,如果无法对一个软件体系
1.Computing&#39;91教程回顾1991年,美国计算学科主要的专业学会ACM和IEEE-CS联合颁布了Computing&#39;91教程.该教程力图覆盖计算学科的计算机科学、计算机工程、计算机科学
<正> 1 引言利用一组工作站并行工作解决粗粒度的较大型计算问题.即NOW系统一直是计算机界一个重要的研究领域。随着Internet的迅猛发展。网上已有数千万的各类计算机,但实际
<正> 1 引言 Dempster-Shafer证据理论(以下简称证据理论)是在A.P.Dempster提出的“上、下概率”及其合成规则的基础上由G.Shafer在其1976年出版的专著《证据的数学理论》中
<正> 1 概述大规模并行处理系统中各计算结点均依靠机间互联网进行通讯和协调。影响网络通讯性能的因素主要有拓扑结构、流控策略和路由算法等。目前针对互联网的研究工作主
<正> 现今,移动计算被广泛认为是一种由计算新技术支持的新计算范型,其主要特征是计算组件能与计算资源动态改变绑定关系,表现出移动性。有两类关注移动特性的计算——mobile