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
Keywords :
Automata; Clocks; Concrete; Concurrent computing; Discrete event systems; Logic; Partitioning algorithms; Petri nets; Real time systems; Time factors;
Conference_Titel :
Petri Nets and Performance Models, 2003. Proceedings. 10th International Workshop on
Print_ISBN :
0-7695-1976-8
DOI :
10.1109/PNPM.2003.1231549
