期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Schedulability Analysis Method of Timing Constraint Petri Nets
1
作者 李慧芳 范玉顺 《Tsinghua Science and Technology》 SCIE EI CAS 2002年第6期596-601,共6页
Timing constraint Petri nets (TCPNs) can be used to model a real-time system specification and to verify the timing behavior of the system. This paper describes the limitations of the reachability analysis method in ... Timing constraint Petri nets (TCPNs) can be used to model a real-time system specification and to verify the timing behavior of the system. This paper describes the limitations of the reachability analysis method in analyzing complex systems for existing TCPNs. Based on further research on the schedulability analysis method with various topology structures, a more general state reachability analysis method is proposed. To meet various requirements of timely response for actual systems, this paper puts forward a heuristic method for selecting decision-spans of transitions and develops a heuristic algorithm for schedulability analysis of TCPNs. Examples are given showing the practicality of the method in the schedulability analysis for real-time systems with various structures. 展开更多
关键词 timing constraint Petri nets schedulability analysis decision-span
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部