TCPN的组合可调度分析

计算机科学 ›› 2008, Vol. 35 ›› Issue (1): 290-293.

TCPN的组合可调度分析

李鹏李勋顾庆陈道蓄

南京大学软件新技术国家重点实验室,南京210093

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文得到国家863项目支持,项目编号：2001AA113090.

LI Peng LI Xun GU Qing CHEN Dao-Xu （State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 时间约束Petri网（TimingConstraintsPetrinets，简称TCPNs）是一类重要的时间Petri网系统。针对TCPNs中变迁可调度原始语义的不足，本文对相关定义重新定义，丰富并完善了TPCNs理论。本文首先给出了新的针对单个变迁或变迁序列的可调度分析策略。如果一个特定的变迁序列是可调度的，则相应的活动序列也同样可以顺利地完成自身的执行；否则，不可调度的变迁需要调整自己的时间约束；然后提出了组合式的可调度分析策略以分析复杂变迁序列，最后提出时序一致性的概念。

关键词: 时间约束Petri网可调度性组合可调度分析时序一致XC性

Abstract: TCPNs （Timing constraint Petri nets） is an important kind of time-related Petri nets. For correcting the irrationality of the original concepts in TCPN, some basic concepts are redefined to enrich and perfect corresponding theory of TCPN. Firstly, this pa

Key words: Timing constraints petri nets, Schedulability, Compositional schedulability analysis, Temporal consistency

李鹏李勋顾庆陈道蓄. TCPN的组合可调度分析[J]. 计算机科学, 2008, 35(1): 290-293. https://doi.org/

LI Peng LI Xun GU Qing CHEN Dao-Xu （State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093）. [J]. Computer Science, 2008, 35(1): 290-293. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed