Modelling foundation based on Queueing Petri Nets and hybrid nets

Queueing Networks (QNs) and Stochastic Petri Nets (SPNs) are known to be two powerful (and complementary) graphically-oriented modelling frameworks for communications and complex algorithms. The current paper presents them and some of their extensions, along with the proposition of hybrid networks, a new method that combines the previous formalisms in order to take advantage of their features and at the same time mitigate their drawbacks.

[1]  Falko Bause,et al.  Stochastic Petri Nets , 1996 .

[2]  K. Mani Chandy,et al.  Approximate Analysis of Central Server Models , 1975, IBM J. Res. Dev..

[3]  Arnold O. Allen.  Probability, Statistics, and Queueing Theory , 1978 .

[4]  M. Thomas.  Queueing Systems. Volume 1: Theory (Leonard Kleinrock) , 1976 .

[5]  Philipp Reinecke,et al.  Performance and Security Tradeoff , 2010, SFM.

[6]  Simonetta Balsamo.  Queueing Networks with Blocking: Analysis, Solution Algorithms and Properties , 2011, Network Performance Engineering.

[7]  Falko Bause,et al.  Stochastic Petri Nets: An Introduction to the Theory , 2012, PERV.

[8]  Gianfranco Balbo,et al.  Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behavior , 1988, IEEE Trans. Computers.

[9]  Falko Bause,et al.  "QN + PN = QPN" - Combining Queueing Networks and Petri Nets , 1993 .

[10]  K. Mani Chandy,et al.  Open, Closed, and Mixed Networks of Queues with Different Classes of Customers , 1975, JACM.

[11]  Helena Szczerbicka,et al.  PNiQ: Intergration of queuing networks in generalised stochastic Petri nets , 1999, IEE Proc. Softw..

[12]  Mohammad Abdollahi Azgomi,et al.  Intrusion Process Modeling for Security Quantification , 2009, 2009 International Conference on Availability, Reliability and Security.

[13]  Simonetta Balsamo,et al.  Analysis of Queueing Networks with Blocking , 2010 .

[14]  Francisca Santana Robles,et al.  Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use , 2015 .

[15]  Samuel Kounev,et al.  Performance modelling of distributed e-business applications using Queuing Petri Nets , 2003, 2003 IEEE International Symposium on Performance Analysis of Systems and Software. ISPASS 2003..