For the most recent entries see the
Petri Nets Newsletter.
Modular Reachability Analysis for Time Petri Nets with Guarded Transitions.
Boel, Rene;
Jiroveanu, George
In:
Proceedings of ADHS2003, St. Malo, France, pages 223-228.
June 2003.
Keywords:
fault detection; distributed algorithms; time Petr nets.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography