Feature interactions of livelock type in IN: A detailed example

IN 1998 - 7th IEEE Intelligent Network Workshop, Proceedings

Volumn 1998-May, Issue , 1998, Pages 175-184

  Lu, Yiqin ^a   Cheung, To Yat ^b  

^a SOUTH CHINA UNIVERSITY OF TECHNOLOGY   (China)

^b CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER WORMS; PETRI NETS; TELEPHONE SETS;

BUSY SIGNAL; COLORED PETRI NETS; FEATURE INTERACTIONS; FIRING SEQUENCES; SYSTEM STRUCTURES; T-INVARIANT; TCP-NETS; TEMPORAL FORMULAE;

INTELLIGENT NETWORKS;

EID: 84969371604     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INW.1998.713269     Document Type: Conference Paper

References (2)

1. Y.Q. Lu and T.Y. Cheung, "Managing feature interactions in telecommunication systems by temporal colored Petri nets", Technical Report, Dept. Computer Science, City University of Hong Kong, submitted to Journal.
2. I. Suzuki and H. Lu, "Temproal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter," IEEE Trans. Computer, vol. 38, no. 5, May 1989, pp. 696-704.