Petri网的结构活性

来源 :山东矿业学院山东科技大学 | 被引量 : 0次 | 上传用户：westbulls

【摘要】

：

该文主要讨论了Petri网的结构活性.研究了删除冲突源的子网中的可重复向量对原网中的死锁的作用,给出判定网活性的一个充分条件.同时,该文还讨论了活网的单调性质,在此基础上

【作者】

：

吴俊

【机构】

：

山东科技大学

【出处】

：

山东矿业学院山东科技大学

【发表日期】

：

1999年期

【关键词】

：

结构活性网活性充分条件活网 Petri网死锁

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

该文主要讨论了Petri网的结构活性.研究了删除冲突源的子网中的可重复向量对原网中的死锁的作用,给出判定网活性的一个充分条件.同时,该文还讨论了活网的单调性质,在此基础上将活网划分成单调活网、关于冲突源单调活网、广义单调活网和奇异活网等四个网子类,并给出了单调活网和关于冲突源单调活网的判定条件.

其他文献

多数据库集成的语义查询优化技术及实现

自70年代中期开始提出多数据库集成问题以来,多数据库集成技术得到了普遍的关注,同时也在计算机应用的诸多领域有着广泛的应用需求,尤其是它在计算机集成制造系统(Computer I

学位

计算机集成制造系统多数据库查询优化语义语义异构性

高性能C++语言中PAR语句的研究与实现

该文以HPC++语言进行了简单的描述,并详细介绍了HPC++语言的数据并行部分,在对HPC++数据并行研究的基础上,论文讨论了如何对任务并行语句PAR的扩充.在实现PAR语句时,研究人员

学位

HPC++任务并行PAR节点程序动态任务调度

基于规则专家系统工具的研究及应用

该文首先介绍了专家系统的产生、发展和现状,详细地阐述了构造专家系统的基本技术,包括知识获取、知识表示、推理机制和解释机制,在并此基础上,论述了正向推理和反向推是策略

学位

专家系统专家系统工具知识表示控制策略

开放的多智能体系统的通讯问题研究

分布式人工智能(DAI)是人工智能的前沿课题,开放的多智能体系统(MAS)是分布式人工智能的重要研究方面.该文研究的重点是开放的多智能体系统的通讯问题.它包括通讯方式和通讯

学位

分布式人工智能多智能体系统知识查询语言matchmaking自组织通讯

网络多通道用户界面若干问题研究

多通道界面使用多种交互设备(语音、手势、视线跟踪等),扩大用户的输入带宽,提高用户的交互效率.当前Internet和LAN上的网络应用有三个特点:浏览器以Web为主 ,集成了Interne

学位

网络多通道界面任务管理器任务描述方法整合

群机系统下数据并行程序动态负载平衡的研究与实践

并行处理已成为现代计算机科学与技术的重要研究领域.作为并行处理的重要分支,数据并行技术被广泛应用于大规模科学与工程计算.群机系统(COW)的迅速发展使其成为并行计算系统

学位

群机系统动态负载平衡数据并行数据相关

基于HFC的视频点播系统

该文详细讨论了在光纤同轴混合网(HFC)上实现视频点播系统的各种相关问题,概要描述了曙光VOD的实现方案,着看点在于基于HFC并满足MPEG-2/DVB标准的视频点播系统与普通视频点

学位

视频点播光纤同轴混合网MPEG-2传输流磁盘调度

汉语文本自动分词和词性标注系统的研究与实现

该文研究了自动分词和词性标注系统可以为短语识别、句法分析提供较好的基础,尤其为短语识别提供了较丰富的分词标注信息以及词频等资源.作为面向实用化系统的一部分,该课题

学位

机器翻译未登录词分词岐义词性标注语料库

无线寻呼系统的研制

无线寻呼已在中国得到迅猛发展.该文介绍了无线寻呼原理,并阐述了投入实际使用的CEC无线寻呼系统的总体设计以及实现方法.CEC无线寻呼系统的研制重点是要开发适合寻呼操作特

学位

移动通讯无线寻呼数据结构程序框图局域网络单片机信息编码BCH编码调制解调器发射机天线

微核心分布式操作系统负载分布的研究

学位

微核心操作系统负载分布负载平衡算法任务迁移

Petri网的结构活性

其他学术论文