Comparison of expressiveness for timed automata and time Petri nets

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

doi:10.1002/9780470611098.ch4

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 proceeding › Chapter

Original language	English
Title of host publication	Combinatorial optimization and theoretical computer science
Editors	Vangelis Th. Paschos
Place of Publication	London; Hoboken, NJ
Publisher	ISTE - Wiley
Pages	93-144
Number of pages	52
ISBN (Electronic)	9780470611098
ISBN (Print)	9781848210219
DOIs	https://doi.org/10.1002/9780470611098.ch4
Publication status	Published - 3 Feb 2010
Externally published	Yes

Keywords

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

Access to Document

10.1002/9780470611098.ch4

Link to publication in Scopus

Cite this

Bérard, B., Cassez, F., Haddad, S., Lime, D., & Roux, O. H. (2010). Comparison of expressiveness for timed automata and time Petri nets. In V. T. Paschos (Ed.), Combinatorial optimization and theoretical computer science (pp. 93-144). London; Hoboken, NJ: ISTE - Wiley. https://doi.org/10.1002/9780470611098.ch4

@inbook{80e8f5280ee7432f94cd4f0dda8c7f56,

title = "Comparison of expressiveness for timed automata and time Petri nets",

keywords = "Corresponding subclasses, Finite automata, Language acceptance, Multimedia applications, Real-time systems",

author = "B{\'e}atrice B{\'e}rard and Franck Cassez and Serge Haddad and Didier Lime and Roux, {Olivier Henri}",

year = "2010",

month = "2",

day = "3",

doi = "10.1002/9780470611098.ch4",

language = "English",

isbn = "9781848210219",

pages = "93--144",

editor = "Paschos, {Vangelis Th.}",

booktitle = "Combinatorial optimization and theoretical computer science",

publisher = "ISTE - Wiley",

address = "United Kingdom",

}

Comparison of expressiveness for timed automata and time Petri nets. / Bérard, Béatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier Henri.

Combinatorial optimization and theoretical computer science. ed. / Vangelis Th. Paschos. London; Hoboken, NJ : ISTE - Wiley, 2010. p. 93-144.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Comparison of expressiveness for timed automata and time Petri nets

AU - Bérard, Béatrice

AU - Cassez, Franck

AU - Haddad, Serge

AU - Lime, Didier

AU - Roux, Olivier Henri

PY - 2010/2/3

Y1 - 2010/2/3

KW - Corresponding subclasses

KW - Finite automata

KW - Language acceptance

KW - Multimedia applications

KW - Real-time systems

UR - http://www.scopus.com/inward/record.url?scp=84885509153&partnerID=8YFLogxK

U2 - 10.1002/9780470611098.ch4

DO - 10.1002/9780470611098.ch4

M3 - Chapter

SN - 9781848210219

SP - 93

EP - 144

BT - Combinatorial optimization and theoretical computer science

A2 - Paschos, Vangelis Th.

PB - ISTE - Wiley

CY - London; Hoboken, NJ

ER -