Affiliations: State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China | School of Transportation Science and Engineering, Beijing University of Aeronautics and Astronautics, Beijing, China | School of Information Engineering, Zhengzhou University, Zhengzhou, China
Note: [] Corresponding author. Zhao Tian, State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing 100044 China. E-mail: tianzhao.bjtu@gmail.com
Abstract: The time uncertainty and the resource conflict are two very important aspects in modeling and analyzing real-time system. The paper defines a kind of Fuzzy Time Petri Nets (FTPN) to simulate the behavior of real-time system limited by time. It studies the conflict with time attribute and space-time collision in real-time system and utilizes time constraints property and the collision possibility to resolve the conflict through knowledge reasoning of fuzzy time interval. Compared with existing methods of conflict analysis and resolution, it takes into account the uncertainty of the time with the system of conflict and contact behavior, which could be better to simulate and analyze real-time system in reality.
Keywords: Conflict detection, conflict resolution, real-time system, fuzzy time Petri nets
