%0 Journal Article
%T tcpn的组合可调度分析
%A 李鹏 李勋 顾庆 陈道蓄？
%J 计算机科学
%D 2008
%X 时间约束petri网（timingconstraintspetrinets，简称tcpns）是一类重要的时间petri网系统。针对tcpns中变迁可调度原始语义的不足，本文对相关定义重新定义，丰富并完善了tpcns理论。本文首先给出了新的针对单个变迁或变迁序列的可调度分析策略。如果一个特定的变迁序列是可调度的，则相应的活动序列也同样可以顺利地完成自身的执行；否则，不可调度的变迁需要调整自己的时间约束；然后提出了组合式的可调度分析策略以分析复杂变迁序列，最后提出时序一致性的概念。
%K 时间约束petri网可调度性组合可调度分析时序一致xc性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=26283107&flag=1