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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Fernandes, S., Silva, W., Silva, M., Rosa, N., Maciel, P., Sadok, D.: On the generalised stochastic Petri net modeling of message-oriented middleware systems. In: 2004 IEEE International Conference on Performance, Computing, and Communications, Cidade Univ., Recife, Brazil, pp. 783–788 (2004)
Gao, H., Zeng, J., Sun, G., Wu, Y.: New matrix method for analyzing steel making process. In: 2002 International Conference on Machine Learning and Cybernetics, Nov. 4-5, 2002, vol. 2, pp. 1070–1074 (2002)
Murata, T.: Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol. 1091, pp. 11–28. Springer, Heidelberg (1996)
Zhou, Y., Murata, T.: Modeling and Analysis of Distributed Multimedia Synchronization by Extended Fuzzy-Timing Petri Nets. Transactions of the SDPS (Society for Design and Process Science) 5(4), 23–37 (2001)
Zhou, Y., Murata, T., DeFanti, T.: Modeling and Performance Analysis Using Extended Fuzzy-Timing Petri Nets for Networked Virtual Environments. IEEE Transactions on Systems, Man, and Cybernetics – Part B: Cybernetics 30(5), 737–756 (2000)
Hillion, H.P.: Timed Petri Nets and Application to Multi-Stage Production Systems. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol. 424, pp. 281–305. Springer, Heidelberg (1990)
Dasdan, A., Gupta, R.K.: Faster maximum and minimum mean cycle algorithms for system performance analysis. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems 17(10), 889–899 (1998)
Nakamura, M., Silva, M.: Cycle time computation in deterministically timed weighted marked graphs. In: Proceedings of the 7th IEEE International Conference on Emerging Technologies and Factory Automation, Oct. 18-21, 1999, vol. 2, pp. 1037–1046 (1999)
Rodriguez-Beltran, J., Ramfrez-Trevino, A.: Minimum initial marking in timed marked graphs. In: 2000 IEEE International Conference on Systems, Man, and Cybernetics, Oct. 8-11, 2000, vol. 4, pp. 3004–3008 (2000)
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
Reisig, W.: Petri Nets, An Introduction. EATCS, Monographs on Theoretical Computer Science, vol. 4. Springer, Berlin (1985)
Desel, J., Reisig, W., Rozenberg, G. (eds.): ACPN 2003. LNCS, vol. 3098. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Yim, J., Lee, KY. (2007). Fuzzy-Timing Petri Nets with Choice Probabilities for Response Time Analysis. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds) Computational Science – ICCS 2007. ICCS 2007. Lecture Notes in Computer Science, vol 4490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72590-9_95
Download citation
DOI: https://doi.org/10.1007/978-3-540-72590-9_95
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72589-3
Online ISBN: 978-3-540-72590-9
eBook Packages: Computer ScienceComputer Science (R0)