For the most recent entries see the
Petri Nets Newsletter.
Schedulability Analysis of Real-Time Systems Using Time Petri Nets.
Xu, Dianxiang;
He, Xudong;
Deng, Yi
In:
IEEE Transactions on Software Engineering, vol.28, no.10, pages 984-996.
2002.
Keywords:
Real-time systems; time Petri nets; schedulability; reachability.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography