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 |
| נושאים: |