Title :
Translations from Time Petri Nets to Timed Automata
Author_Institution :
Sch. of Comput. Sci. & Technol., Shandong Jianzhu Univ., Jinan, China
Abstract :
Among the many models proposed for the specification and verification of real-time systems, Time Petri nets and Timed Automata are prominent. These two models which were developed independently for years bear strong relationships. In this paper we survey some of the most recent approaches about translations from time Petri nets to timed automata.
Keywords :
Petri nets; automata theory; real-time system; time Petri net; timed automata; Automata; Clocks; Computer science; Concurrent computing; Discrete event systems; Laboratories; Logic; Petri nets; Real time systems; Streaming media;
Conference_Titel :
Biomedical Engineering and Informatics, 2009. BMEI '09. 2nd International Conference on
Conference_Location :
Tianjin
Print_ISBN :
978-1-4244-4132-7
Electronic_ISBN :
978-1-4244-4134-1
DOI :
10.1109/BMEI.2009.5304684
