DocumentCode
3523968
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
Volume
2
fYear
1999
fDate
18-22 Oct. 1999
Firstpage
1151
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/APCC.1999.820468
Filename
820468
Link To Document