Temporal knowledge representation and reasoning techniques using time Petri nets. - Woei-Tzy Jong; Yuh-Shin Shiau; Yih-Jen Horng; Hsin-Horng Chen; Shyi-Ming Chen (IEEE Trans. Syst. Man Cybern. Part B, 1999)