For the most recent entries see the Petri Nets Newsletter.

Timed Unfoldings for Networks of Timed Automata.

Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain

In: Automated Technology for Verification and Analysis, pages 292-306. 2006. URL:

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography