IT Journal
Design, Analysis and Verification of Real-Time Systems Based on
Time Petri Net Refinement
ZHIJUN DING and CHANGJUN JIANG, Key Laboratory of Embedded System and Service
Computing, Ministry of Education, Tongji University, China
MENGCHU ZHOU, New Jersey Institute of Technology