【摘 要】
：
该文利用三种不同方法对Petri网行为特征,包括活性,有界性和家态,进行深入的研究,得到了一些新的,具有理论与实际应用价值的结果.这三种方法是：1.展开方法;2.限制子类的研究方
论文部分内容阅读
该文利用三种不同方法对Petri网行为特征,包括活性,有界性和家态,进行深入的研究,得到了一些新的,具有理论与实际应用价值的结果.这三种方法是：1.展开方法;2.限制子类的研究方法;3.组合方法.第一种方法,即展开方法,无需对Petri网类进行限制,也就是可对普通的Petri网进行研究.这种方法的特点在于：通过保留极少状态数目,但能判定原Petri网的某些性质,从而避免“状态空间爆炸”的问题.第二种方法,即限制子类的研究方法,主要通过结构分析技术对系统的行为特征进行研究,得到刻画行为特征的结构特点,有助于找到行为特征（例如活性）判定的多项式算法.第三种方法,即组合方法,主要用于大型系统的设计和分析,利用一些（小的）子系统作为组件,这些子系统具备设计者所希望具有的性质,而组合生成的系统可以保持子系统的这些好性质.
其他文献
存储区域网络(Storage Area Network—SAN)为日益增长的信息存储和管理需要提供了很好的解决途径，但也带来了新的挑战，即如何高效地进行SAN管理的问题。实现SAN的管理离不开存
随着计算机技术的发展,互联网已经融入到人们生活的方方面面,用户可以通过互联网轻而易举的获取大量信息,然而在享受这种便利的同时,用户也开始遇到信息“过载”的问题。面对
电器产品在国民经济各部门都得到广泛的使用，电器的触头是完成切换功能的关键部件，是决定电器使用寿命的主要因素，除触头设计要素起重要的作用外，触头表面的形貌及性能也起着相当
面向对象方法支持从分析、设计、编程到测试的整个软件开发全过程,并在整个过程中采用一致的概念、术语和表示法.面向对象方法在当今的软件开发方法中占有主流地位.统一建模
资源约束的多项目进度安排是一个十分重要而又比较复杂的问题,该文试图采用遗传算法这一比较先进的优化算法来解决它,要优化的目标为最短平均延迟,它关心的是所有项目的执行
移动目标监控系统作为一种应用广泛的计算机系统，其研究与发展已经经历了数年。但GPS定位等技术在民用方面的应用日益成熟，为移动目标监控系统的研究与应用注入了新的动力。同
首先描述了嵌入式操作系统的总体结构.系统基于单地址空间的微内核体系结构,内核、中间服务程序和应用程序在同一地址空间运行,应用程序通过函数调用取得系统服务.系统提供了
该文的研究围绕着这个方向展开,对采集设备设计和特征提取模块进行了实践性的研究,并对传统HSI彩色空间进行了理论上的改进.该文首先介绍了Biometrics方向的基本研究情况及其
近年来,大气污染严重,空气质量不断恶化,全国各地频现雾霾等恶劣天气。在雾霾环境下,由于大气中的悬浮颗粒物对光的吸收和散射作用,图像采集设备所生成的图像对比度和保真度
论文以某重点型号工程飞行控制分组件测试系统的研制为背景，探讨了在QNX实时操作系统上搭建测试平台的设计和实现方法.该文对QNX实时操作系统的体系结构、特点、用户界面和设