Compositional schedulability analysis of real-time systems using time Petri nets.
This paper presents an approach to the schedulability analysis of real-time systems modeled in time Petri nets by separating timing properties from other behavioral properties. The analysis of behavioral properties is conducted based on the reachability graph of the underlying Petri net, whereas tim...
| 發表在: | IEEE Transactions on software engineering 28, 10 (2002). |
|---|---|
| 主要作者: | |
| 格式: | Article |
| 語言: | English |
| 主題: |