For the most recent entries see the
Petri Nets Newsletter
Keyword: timing verification
An algorithm for exact bounds on the time separation of events in concurrent systems.
On the Acceleration of Timing Verification Method Based on Time Petri Nets.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography