Consequences of the Form of Restrictions in Coloured Petri Net Models for Behaviour of Arrival Stream Generator Used in Performance Evaluation

Coloured Petri Nets formalism is commonly used for modelling various aspects of communication systems. Simulations of such models facilitate performance evaluation. Typically during the simulation a stream of data (tokens) is produced in the part of the model called stream generator, as an input for the latter part of the model. In the paper different models of stream generators are discussed, as well as their influence on distribution of resulting tokens, during the simulation in the CPN Tools software.

[1]  Lisa Wells,et al.  Performance analysis using CPN tools , 2006, valuetools '06.

[2]  Marcin Jamro,et al.  Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model , 2015, Comput. Ind..

[3]  Slawomir Samolej,et al.  Simulation and Performance Analysis of Distributed Internet Systems Using TCPNs , 2009, Informatica.

[4]  Paul J. Fortier,et al.  Computer Systems Performance Evaluation and Prediction , 2003 .

[5]  Wojciech Rzasa.  Combining Timed Colored Petri Nets and Real TCP Implementation to Reliably Simulate Distributed Applications , 2009, CN.

[6]  Reggie Davidrajuh,et al.  Distributed workflow based approach for eliminating redundancy in virtual enterprising , 2009, 2009 IEEE International Symposium on Parallel and Distributed Processing with Applications.

[7]  Dariusz Rzonca,et al.  Hierarchical Petri Net for the CPDev Virtual Machine with Communications , 2009, CN.

[8]  David D. Yao,et al.  Fundamentals of Queueing Networks , 2001 .

[9]  Kathryn E. Stecke,et al.  Evaluation of the impact of information delays on flexible manufacturing systems performance in dynamic scheduling environments , 2013 .

[10]  G. R. Dattatreya,et al.  Performance Analysis of Queuing and Computer Networks , 2008 .

[11]  Dariusz Rzonca,et al.  OPC Data Acquisition Server for CPDev Engineering Environment , 2010, CN.

[12]  Wojciech Rzasa.  Synchronization Algorithm for Timed Colored Petri Nets and Ns-2 Simulators , 2013, CN.

[13]  Dariusz Rzonca,et al.  Data Acquisition Server for Mini Distributed Control System , 2011, CN.

[14]  Marcin Jamro,et al.  Improving Accuracy of a Network Model Basing on the Case Study of a Distributed System with a Mobile Application and an API , 2017, CN.

[15]  Lars Michael Kristensen,et al.  Simulation based performance analysis of web servers , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[16]  Tomasz Szmuc,et al.  Web-Server Systems HTCPNs-Based Development Tool Application in Load Balance Modelling , 2009, e Informatica Softw. Eng. J..

[17]  Remigiusz Olejnik.  Modelling of Half-Duplex Radio Access for HopeMesh Experimental WMN Using Petri Nets , 2014, CN.

[18]  Andreas Oberweis,et al.  Process-oriented business performance management with Petri nets , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[19]  Kurt Jensen,et al.  Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, August 29-31, 2001 , 2001 .

[20]  S. Samolej,et al.  HTCPNs – based analysis of priority-based Internet requests scheduling , 2010 .

[21]  Wojciech Rzasa,et al.  Predicting Performance in a PaaS Environment: a Case Study for a Web Application , 2017, Comput. Sci..

[22]  Falko Bause,et al.  Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[23]  Tomasz Szmuc,et al.  HTCPNs-Based Tool for Web-Server Clusters Development , 2008, CEE-SET.

[24]  Samuel Kounev,et al.  Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets , 2006, IEEE Transactions on Software Engineering.

[25]  Tomasz Szmuc,et al.  HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration , 2009, CEE-SET.

[26]  Wojciech Rzasa,et al.  Simulation-Based Analysis of a Platform as a Service Infrastructure Performance from a User Perspective , 2015, CN.

[27]  Gunter Bolch,et al.  Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications, Second Edition , 1998 .

[28]  Samuel Kounev,et al.  Modeling of I/O Performance Interference in Virtualized Environments with Queueing Petri Nets , 2014, 2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems.

[29]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[30]  Tomasz Rak.  Performance Modeling Using Queueing Petri Nets , 2017, CN.

[31]  Dariusz Rzonca,et al.  Event-Driven Approach to Modeling and Performance Estimation of a Distributed Control System , 2016, CN.