【摘 要】
：
时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型。组件级化简方法是TPN模型常用的分析方法。本文引入延迟时间Petri网(DTPN),为了分析化简后的DTPN模型,
【机 构】
：
北京联合大学信息学院 北京 100101
【出 处】
：
中国计算机用户协会网络应用分会2007年网络技术与应用年会
论文部分内容阅读
时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型。组件级化简方法是TPN模型常用的分析方法。本文引入延迟时间Petri网(DTPN),为了分析化简后的DTPN模型,提出了一种新的DT-PN调度分析方法。通过该分析方法,使组件TPN模型向DTPN模型转化,使化简后模型既保持外部可观察时间特性,又保持组件内部的冲突和并发等性质。
其他文献
针对目前网站中网页经常被非法篡改,给部门和企业带来非常大的影响,并造成一定损失的情况,本文介绍了一种使用二次摘要验证算法的防篡改系统方案。通过实验证明,本方案不仅在
访问控制是系统安全的一个重要策略,本文首先提出了采用基于角色的访问控制机制的必要性,接下来阐述了这种安全机制的模型和工作原理，最后通过一个J2EE网络教学系统详细阐述了
随着互联网的发展和普及,网络正在人们的生活和工作中占据越来越重要的地位。网络攻击事件也随之频繁发生。本文详细分析了基于服务机制的程序隐藏方法,基于DLL动态链接库的
发源于中吉边境的图噜噶尔特山南麓的恰克马克河,洪灾频繁.为提高防洪能力,规划将巴音谷路提乡、托帕口岸、喀尔果勒村、恰克马克河引水枢纽,上阿图什乡作为防洪治理的重点进
使用Visual C++为开发工具开发了L2自动化的模型程序,该程序通过Oracle数据库和L2自动化系统中的应用软件进行通信。该模型程序使用了一些RH过程控制数学模型,包括静态脱碳模
JSP开发过程中经常会碰到中文乱码问题，目前有很多关于乱码问题的分析和解决方案,本文在已有技术支持基础上,借助MIS开发中的实际体验,提出上传和下载文件时出现的乱码问题及
随着信息技术的发展,二维条码技术的应用越来越广泛,QR码作为一种优秀的二维条码,在我国具有特别的发展优势。为了进一步提高二维码译码的可靠性,必须对图像进行有效的预处理
图像搜索是国内外的一个研究热点,大型的搜索引擎数据量太大,不太适合校园网,目前校园网搜索功能有文件搜索、网页搜索等,但图像搜索这里还是一个空缺,为此,本课题通过对爬虫
为了提高中央广播电视大学远程开放教育教务管理系统的可用性,提出一种基于JMS异步通信的数据复制解决方案。方案采用异步复制方式,各数据副本之间以异步的方式通信,可靠地进
本文应用主成分分析(PCA)算法对北京市怀柔水库附近地区TM多光谱遥感图像进行了分析。PCA的主要思想是将各波段具有一定相关性的遥感图像数据变换成易于解译的、相互正交的不