论文部分内容阅读
为了进一步研究随机Petri网的时间特性,引入了时间Petri网、闭网、常返网、有环网、无环网等概念,证明了随机Petri网是时间特性网的充要条件是其闭网为常返网,并给出了判别一个网是否是时间特性网的数值方法.同时讨论了变迁发射时间特性,给出了发射时间密度公式.
Petri网时间特性分析
【摘 要】
：
为了进一步研究随机Petri网的时间特性,引入了时间Petri网、闭网、常返网、有环网、无环网等概念,证明了随机Petri网是时间特性网的充要条件是其闭网为常返网,并给出了判别一
【机 构】
：
解放军理工大学,解放军理工大学
【出 处】
：
计算机工程与设计
【发表日期】
：
2005年10期
其他文献
血友病性骨关节病和损伤在合理的凝血因子替代治疗下可以相对安全地接受手术。但血友病性骨关节病手术又不同于普通的骨关节病手术，围手术期凝血因子替代剂量、持续时间、手术
详细阐述了一个基于低廉的ARM与uClinux的附网刻录机的硬件和软件设计,对ARM微控器的选择、IDE接口的设计和基于uClinux操作系统的应用开发等进行了深入的探讨,对附网刻录的
针对传统的专业教学实验模式,提出基于WEB的专业教学实验集成管理系统的总体框架,并用'航空发动机旋转轮盘强度实验'进行了实例验证,实现了学生与实验的远程交互,并
新一代视频编码标准H.264为了提高编码效率采用了一系列新技术,而这些新技术的使用也极大地增加了算法的复杂度.因此,在保持编码效率的同时如何提高编解码器的运算速度成为目
软件测试方法和度量是提高和保证软件质量的关键。文中介绍了一种认识面向对象软件集成测试和度量的方法(URI),以及一种继承树深度(DIT)的度量标准,从这一测试方法显示继承的
为提高系统开发的质量和效率,以VFP6.0为开发工具,采用结构化程序设计原理,对临时表在系统开发中的应用进行了深入探讨,并以建筑工程预算管理系统为例,介绍了临时表的类型和
T7噬菌体是一种感染大肠杆菌的烈性噬菌体,基因组为线状双链DNA,全长39 936bp。其衣壳蛋白包括头蛋白P10A、次要头蛋白P10B、颈圈蛋白P8、尾蛋白P11、P12和尾丝蛋白P17。T7噬
随着多媒体应用领域的拓展和网上通信的日益增多,各种应用要求有更高的网络服务质量(QoS),因此需要对QoS进行深入的研究.在阐述QoS基本概念的基础上,具体分析了QoS管理的关键
提出了基于蓝牙技术的智能交通系统在城市中运用的系统方案.详细介绍了最新的蓝牙规范,结合现代数字无线通信技术,通过蓝牙通信收发模块,实现实时数据采集、监控查询、事故应