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.
Get full access to this article
View all access options for this article.