Comparison of expressiveness for timed automata and time Petri nets

Béatrice Bérard*, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationCombinatorial optimization and theoretical computer science
EditorsVangelis Th. Paschos
Place of PublicationLondon; Hoboken, NJ
PublisherISTE - Wiley
Number of pages52
ISBN (Electronic)9780470611098
ISBN (Print)9781848210219
Publication statusPublished - 3 Feb 2010
Externally publishedYes


  • Corresponding subclasses
  • Finite automata
  • Language acceptance
  • Multimedia applications
  • Real-time systems

Cite this