Analysis of real-time system conflict based on fuzzy time Petri nets

Authors:
Zhao Tian;Zun-Dong Zhang;Yang-Dong Ye;Li-Min Jia
Affiliations:
State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China;State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China and School of Transportation Science and Engineering, Beijing University of Aeronautics and Ast ...;School of Information Engineering, Zhengzhou University, Zhengzhou, China;State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China
Venue:
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Year:
2014

Citing 7
Cited 0

Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications

IEEE Transactions on Software Engineering
Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets

Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Relations Between Fuzzy Time Intervals

TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
Methods for achieving susceptibility to consensus for conflict profiles

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Modeling And Analysis Of Distributed Multimedia Synchronization By Extended Fuzzy-Timing Petri Nets

Journal of Integrated Design & Process Science
Real-time task scheduling with fuzzy uncertainty in processing times and deadlines

Applied Soft Computing
Conflict Resolution and Train Speed Coordination for Solving Real-Time Timetable Perturbations

IEEE Transactions on Intelligent Transportation Systems

Quantified Score

Hi-index	0.00

Visualization

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.