TCPN的状态可达及可调度决策空间算法

来源 :计算机学报 | 被引量 : 0次 | 上传用户:miumiumin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Tsai等提出了时间限制Petri网(TCPN),并讨论变迁可激活、可调度规律及其计算公式.然而,由于网拓扑和动态的复杂性,某些概念的逻辑关系及公式有矛盾.本文通过引入调度决策变量、动态标记准确地刻画调度规律,修正澄清了Tsai文中的问题,完善了TCPN的调度分析.另外,讨论了TCPN沿含有失败变迁激活路径的调度问题, Tsai et al. Proposed a time-limited Petri net (TCPN) and discussed the rules of activation, schedulability and their formulas. However, due to the complexity of the network topology and dynamics, some concepts have conflicting logic and formulas. In this paper, by introducing scheduling decision variables, the dynamic marking accurately describes the scheduling rules, amends and clarifies the problems in Tsai text, and improves the scheduling analysis of TCPN. In addition, we discuss the scheduling problem of TCPN along path containing activation failure,
其他文献
知识经济的兴起是当今世界发展的重大趋势,把握知识经济的内涵,建立一套适合中国国情的知识经济指标体系,并对其进行全面、系统的实证研究,是我们当前迫切需要解决的问题.本
在新课标理念下,必须突出学生的主体地位,把课堂的时间、空间、学习过程都还给学生,课堂教学不能再“涛声依旧”,教师应是课堂的组织者、引领者、参与者。提高数学课堂教学有效性
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
本文通过对荣华二采区10
期刊
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
本文以实际系统为背景,利用Petri网建立分析了CAD系统的多任务模型.我们从最基本的Client/Server的调用模型出发,按调用关系扩展了两类多任务模型:有环模型和无环模型,并利用面向对象的观点提出了建构实用系统模型的模块化构造方法,同时还给出了一个简单的差错处理模型.这些模型和方法为最终建立实用的开放的多任务CAD系统打下了良好的基础.
期刊