DocumentCode

2069161

Title

State class timed automaton of a time Petri net

Author

Lime, Didier ; Roux, Olivier H.

Author_Institution

Institut de Recherche en Communication et Cybernetique de Nantes

fYear

2003

fDate

2-5 Sept 2003

Firstpage

124

Lastpage

133

Keywords

Automata; Clocks; Concrete; Concurrent computing; Discrete event systems; Logic; Partitioning algorithms; Petri nets; Real time systems; Time factors;

fLanguage

English

Publisher

ieee

Conference_Titel

Petri Nets and Performance Models, 2003. Proceedings. 10th International Workshop on

ISSN

1063-6714

Print_ISBN

0-7695-1976-8

Type

conf

DOI

10.1109/PNPM.2003.1231549

Filename

1231549