Fuzzy-Timing Petri Nets with Choice Probabilities for Response Time Analysis.

The system response time is one of the most critical user's requirements. Therefore, a response time analysis must be done at the design stage. This paper proposes a response time analysis method based on ‘Fuzzy-Timing Petri net with choice probabilities (FTCP)'. FTCP is a modified version of timed net: A delay time associated with a transition is not a crisp number but a possibility distribution function and a transition of FTCP is also associated with a choice probability. We are proposing a response time analysis procedure for FTCP. It is similar to the minimum cycle time analysis for Timed Nets. The difference is that we take account of choice probabilities of the transitions in the process of generating the T-invariant. The other feature of our analysis method is that it can handle temporal uncertainties. This paper finally demonstrates the usefulness of the method by applying the method on a Web Service System. [ABSTRACT FROM AUTHOR]