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