%0 Conference Paper %1 KoBu2003-ISPASS-ModelingUsingQPNs %A Kounev, Samuel %A Buchmann, Alejandro %B Proceedings of the 2003 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS 2003), Austin, Texas, USA, March 6-8, 2003 %C Washington, DC, USA %D 2003 %I IEEE Computer Society %K Analytical_and_simulation-based_analysis Application_quality_of_service_management Award Formal_architecture_modeling Performance Prediction QPME_Bibliography QPN Simulation descartes t_full %P 143--155 %T Performance Modeling of Distributed E-Business Applications using Queueing Petri Nets %X In this paper we show how Queuing Petri Net (QPN) models can be exploited for performance analysis of distributed e-business systems. We study a real-world application, and demonstrate the benefits, in terms of modelling power and expressiveness, that QPN models provide over conventional modelling paradigms such as Queuing Networks and Petri Nets. As shown, QPNs facilitate the integration of both hardware and software aspects of system behavior in the same model. In addition to hardware contention and scheduling strategies, using QPNs one can easily model simultaneous resource possession, synchronization, blocking and contention for software resources. By validating the models presented through measurements, we show that they are not just powerful as a specification mechanism, but are also very powerful as a performance analysis and prediction tool. However, currently available tools and techniques for QPN analysis are limited. Improved solution methods, which enable larger models to be analyzed, need to be developed. By demonstrating the power of QPNs as a modelling paradigm in realistic scenarios, we hope to motivate further research in this area.

@inproceedings{KoBu2003-ISPASS-ModelingUsingQPNs, abstract = {In this paper we show how Queuing Petri Net (QPN) models can be exploited for performance analysis of distributed e-business systems. We study a real-world application, and demonstrate the benefits, in terms of modelling power and expressiveness, that QPN models provide over conventional modelling paradigms such as Queuing Networks and Petri Nets. As shown, QPNs facilitate the integration of both hardware and software aspects of system behavior in the same model. In addition to hardware contention and scheduling strategies, using QPNs one can easily model simultaneous resource possession, synchronization, blocking and contention for software resources. By validating the models presented through measurements, we show that they are not just powerful as a specification mechanism, but are also very powerful as a performance analysis and prediction tool. However, currently available tools and techniques for QPN analysis are limited. Improved solution methods, which enable larger models to be analyzed, need to be developed. By demonstrating the power of QPNs as a modelling paradigm in realistic scenarios, we hope to motivate further research in this area.}, added-at = {2020-04-06T11:21:02.000+0200}, address = {Washington, DC, USA}, author = {Kounev, Samuel and Buchmann, Alejandro}, biburl = {https://www.bibsonomy.org/bibtex/2007e9e165164c7f0c67238038982241f/se-group}, booktitle = {Proceedings of the 2003 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS 2003), Austin, Texas, USA, March 6-8, 2003}, interhash = {1b3873662bc238ebf94ea596a489a0fb}, intrahash = {007e9e165164c7f0c67238038982241f}, keywords = {Analytical_and_simulation-based_analysis Application_quality_of_service_management Award Formal_architecture_modeling Performance Prediction QPME_Bibliography QPN Simulation descartes t_full}, month = {March}, note = {<b>Best-Paper-Award</b>}, pages = {143--155}, publisher = {IEEE Computer Society}, timestamp = {2021-02-16T11:14:38.000+0100}, title = {Performance Modeling of Distributed E-Business Applications using Queueing Petri Nets}, year = 2003 }