期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
TCPN的组合可调度分析 被引量:3
1
作者 李鹏 李勋 +1 位作者 顾庆 陈道蓄 《计算机科学》 CSCD 北大核心 2008年第1期290-293,共4页
时间约束Petri网(Ti ming Constraints Petri nets,简称TCPNs)是一类重要的时间Petri网系统。针对TCPNs中变迁可调度原始语义的不足,本文对相关定义重新定义,丰富并完善了TPCNs理论。本文首先给出了新的针对单个变迁或变迁序列的可调度... 时间约束Petri网(Ti ming Constraints Petri nets,简称TCPNs)是一类重要的时间Petri网系统。针对TCPNs中变迁可调度原始语义的不足,本文对相关定义重新定义,丰富并完善了TPCNs理论。本文首先给出了新的针对单个变迁或变迁序列的可调度分析策略。如果一个特定的变迁序列是可调度的,则相应的活动序列也同样可以顺利地完成自身的执行;否则,不可调度的变迁需要调整自己的时间约束;然后提出了组合式的可调度分析策略以分析复杂变迁序列,最后提出时序一致性的概念。 展开更多
关键词 时间约束PETRI网 可调度 组合可调度分析 时序一致xc性
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部