For the most recent entries see the
Petri Nets Newsletter.
Efficient verification of a class of time Petri nets using linear programming.
Lia, Xuandong;
Lilius, Johan
In:
Information Processing Letters 77 (5-6), pages 219-224.
March 2001.
Keywords:
Real-time systems; Model-checking; Duration calculus; Concurrency.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography