Title :
A translation from E-LOTOS to timed Petri net
Author :
Hua, Li ; Xingming, Ye
Author_Institution :
Coll. of Comput. Sci., Inner Mongolia Univ., Hohhot, China
Abstract :
E-LOTOS is an enhancement to existing LOTOS. Timed Petri net is an ideal tool to analyze the systems, which have a concurrent property. An approach is introduced to translate an E-LOTOS specification into a timed Petri net for protocol testing or modeling real-time systems.
Keywords :
Petri nets; conformance testing; formal specification; program interpreters; protocols; real-time systems; specification languages; telecommunication standards; E-LOTOS specification; E-LOTOS translation; ISO standard; concurrent property; protocol testing; real-time system modeling; systems analysis; timed Petri net; Algebra; Computer science; Delay effects; Educational institutions; Electronic mail; Partial response channels; Petri nets; Protocols; Real time systems; System testing;
Conference_Titel :
Communications, 1999. APCC/OECC '99. Fifth Asia-Pacific Conference on ... and Fourth Optoelectronics and Communications Conference
Conference_Location :
Beijing, China
Print_ISBN :
7-5635-0402-8
DOI :
10.1109/APCC.1999.820468
