Title :
Translation Methods from Timed Automata to Time Petri Nets
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, timed automata and time Petri nets 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 translation methods from timed automata to time Petri nets. We may apply time Petri nets specific verification methods to timed automata by using these translation methods.
Keywords :
Petri nets; automata theory; realtime systems; time Petri nets specific verification methods; timed automata; translation methods; Automata; Clocks; Computer science; Concurrent computing; Discrete event systems; Laboratories; Petri nets; Real time systems; Streaming media;
Conference_Titel :
Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-4507-3
Electronic_ISBN :
978-1-4244-4507-3
DOI :
10.1109/CISE.2009.5366263
