For the most recent entries see the
Petri Nets Newsletter
.
Keyword: timing verification
Hulgaard, H.
;
Burns, S.M.
;
Amon, T.
;
Borriello, G.
:
An algorithm for exact bounds on the time separation of events in concurrent systems.
1995.
Yoneda, T.
;
Kondo, Y.
;
Tohma, Y.
:
On the Acceleration of Timing Verification Method Based on Time Petri Nets.
1991.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography