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

Authors:
Jaegeol Yim;Kye-Young Lee
Affiliations:
Dept. of Computer and Multimedia Dongguk University at GyeongJu, GyeongBuk, 780-714, Republic of Korea;Dept. of Computer and Multimedia Dongguk University at GyeongJu, GyeongBuk, 780-714, Republic of Korea
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Year:
2007

Citing 7
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Timed Petri nets and application to multi-stage production systems

Advances in Petri nets 1989
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets

Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Modeling And Analysis Of Distributed Multimedia Synchronization By Extended Fuzzy-Timing Petri Nets

Journal of Integrated Design & Process Science
Modeling and performance analysis using extended fuzzy-timing Petrinets for networked virtual environments

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Faster maximum and minimum mean cycle algorithms for system-performance analysis

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.