时间约束Petri网及其可调度性分析与验证

来源 :软件学报 | 被引量 : 0次 | 上传用户：frjazz

【摘要】

：

时间约束Petrilit（timing constraint Petri nets，简称TCPN）是一类重要的时间Petri网系统．对相关定义重新界定，丰富并完善了TCPN理论．针对变迁可调度原始定义的不足，首先给出了变迁

【作者】

：

宋巍窦万春刘茜萍

【机构】

：

南京大学计算机科学与技术系,计算机软件新技术国家重点实验室南京大学

【出处】

：

软件学报

【发表日期】

：

2007年1期

【关键词】

：

【基金项目】

：

Supported by the Natiohal Natural Science Foundation of China under Grant Nos.60303025, 60673017 （国家自然科学基金）, the Jiangsu Provincial NSF Research Funds under Grant Nos.BK2004411, BK2005208 （江苏省基础研究计划）

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

时间约束Petrilit（timing constraint Petri nets，简称TCPN）是一类重要的时间Petri网系统．对相关定义重新界定，丰富并完善了TCPN理论．针对变迁可调度原始定义的不足，首先给出了变迁的弱／强可调度的新定义及强可调度判定定理；然后对变迁的强可调度进行了拓展，提出了TCPN时间可调度的概念，并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究．TCPN对时间Petri网的研究工作将起到启发作用，并对实时系统的描述和建模工作具布一定的

其他文献

喷气织机织造纯棉精梳小提花织物的实践

<正> 我厂于1994年通过补偿贸易”引进德国Doriner公司DLW4/S型和比利时Picanol公司的PAT—A型喷气织机.由于织造都采用四或六喷嘴引纬,配以Staubli SA2560型电子多臂机,独立

期刊

棉织喷气织机精梳小提花织物工艺

浅谈加快民政信息化建设的对策及建议

随着信息技术的发展和普及,信息获取、综合分析和动态处理以及信息应用已经深入社会各行各业,加快民政信息化建设是民政部门管理国家有关社会行政事务发挥重要作用的有效手段

期刊

信息技术数字民政对策建议

氨纶网络丝张力与性能的关系

提出了利用空气网络变形加工技术生产氨纶网络丝的新技术，新工艺，并通过实验论证了网络丝的弹性伸长率和网络度与网络张力的关系，从而得出最佳网络工艺参数。

期刊

氨纶网络丝张力性能弹力纱

高带宽延时网络中一种协同式拥塞控制协议

提出一种协同工作式的TCP（transmission control protoc01）拥塞控制改进协议C^3P（cooperant congestion control protocol），通过C^3P源端检测RTT（roundtriptime）延时信息和路由器反

期刊

TCP拥塞控制高带宽延时网络TCP congestion control high bandwidth-delay product networks

山东省低碳建筑经济激励政策研究

本文通过对国内外低碳经济机制政策进行研究,分析了山东省低碳建筑经济激励政策存在的问题,并提出了措施和建议。

期刊

低碳建筑经济激励机制

基于Segmental—DTW的无监督行为序列分割

行为序列分割是行为分析与识别中最初始、最基础的一个步骤.提出了一种无监督的行为序列分割算法,主要步骤包括:(1)采用等长有重叠的时间窗口对视频序列进行粗分割;(2)将粗分割的视频段两两作比较,通过Segmental-DTW算法分割出两个视频段中最相似的行为片断;(3)将行为片断的相似性转化为邻接图表示,通过图聚类方法对分割出的行为片断进行聚类.该算法采用了从粗到细的分割思想,能够准确地分割出视频序

期刊

行为序列分割无监督法Segmental.DTW聚类behavior sequence segmentation unsupervised method

无线网络邻近图综述

网络拓扑结构可由邻近图表述，定义其为一个包含点集V和边集E的图，某有向边（u，v）属于该图当且仅当点v位于点“的邻域内，这个邻域是在某事先定义的邻近测度作用下产生的．回顾了迄今为

期刊

邻近图无线网络拓扑控制支配集计算几何proximity graph wireless networks topology control dom

大学物理教学改革探析

本文针对学生的实际情况,从教材的选择、教学方法及教学手段的改革、考试方法的改进等三方面,阐述了大学物理教学改革的具体做法.

期刊

物理教学教材教学方法考试方法高等院校教学资源

高校辅导员角色定位初探

高校思想政治辅导员是学生思想政治工作的组织者、实施者和指导者，是高校教师和管理队伍的重要组成部分。每一个学生思想政治辅导员在实现大学生思想政治教育的过程中，都扮演和