Performance analysis using coloured Petri nets

This paper provides an overview of improved facilities for performance analysis using coloured Petri nets. Coloured Petri nets is a formal method that is well suited for modeling and analyzing large and complex systems. The paper describes steps that have been taken to make a distinction between modeling the behavior of a system and observing the behavior of a model. Performance-related facilities are discussed, including facilities for collecting data, running multiple simulations, generating statistically reliable simulation output, and comparing alternative system configurations.

[1]  Ludmila Cherkasova,et al.  On scalable net modeling of OLTP , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[2]  C. Petri.  Kommunikation mit Automaten , 1962 .

[3]  Wolfgang Reisig,et al.  Place or Transition Petri Nets , 1996, Petri Nets.

[4]  Fabrice Valois,et al.  Performance modelling of hierarchical cellular networks using PEPA , 2002, Performance evaluation (Print).

[5]  Lars Michael Kristensen,et al.  Design/CPN - A Computer Tool for Coloured Petri Nets , 1997, TACAS.

[6]  K. Mortensen.  Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator , 2001 .

[7]  Günter Hommel,et al.  TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets , 1995, Perform. Evaluation.

[8]  Lars Michael Kristensen,et al.  Capacity Planning of Web Servers using Timed Hierarchical Coloured Petri Nets , 1999 .

[9]  Carey L. Williamson,et al.  Internet Web servers: workload characterization and performance implications , 1997, TNET.

[10]  Lars Michael Kristensen,et al.  Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN , 2001 .

[11]  Jorge C. A. de Figueiredo,et al.  Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols , 1999 .

[12]  Roy T. Fielding,et al.  Hypertext Transfer Protocol - HTTP/1.0 , 1996, RFC.

[13]  Gérard Berthelot.  Transformations and Decompositions of Nets , 1986 .

[14]  Giovanni Chiola,et al.  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.

[15]  Hamid Demmou,et al.  Analysing a mechatronic system with coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[16]  Robert D. van der Mei,et al.  Web Server Performance Modeling , 2001, Telecommun. Syst..

[17]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[18]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[19]  Serge Haddad,et al.  A reduction theory for coloured nets , 1988, European Workshop on Applications and Theory in Petri Nets.

[20]  Sigurdur Olafsson,et al.  Simulation optimization , 2002, Proceedings of the Winter Simulation Conference.

[21]  Mario Gerla,et al.  A Modular and Scalable Simulation Tool for Large Wireless Networks , 1998, Computer Performance Evaluation.

[22]  William H. Sanders,et al.  A Unified Approach for Specifying Measures of Performance, Dependability and Performability , 1991 .

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

[24]  Bonnie Lee Appleton.  Patterns and Software: Essential Concepts and Terminology , 1997 .

[25]  Giovanni Chiola,et al.  GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.

[26]  B. Lindstrom,et al.  Towards a monitoring framework for discrete-event system simulations , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[27]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[28]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[29]  Wil M. P. van der Aalst,et al.  Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool , 2000, ICATPN.

[30]  A. Iyengar,et al.  An analysis of Web server performance , 1997, GLOBECOM 97. IEEE Global Telecommunications Conference. Conference Record.

[31]  Giuliana Franceschinis,et al.  Parametric Stochastic Well-Formed Nets and Compositional Modelling , 2000, ICATPN.

[32]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

[33]  Boudewijn R. Haverkort,et al.  Markovian Models for Performance and Dependability Evaluation , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[34]  William H. Sanders,et al.  Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[35]  Kurt Jensen.  High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[36]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[37]  Charles Lakos,et al.  On the Abstraction of Coloured Petri Nets , 1997, ICATPN.

[38]  Virgílio A. F. Almeida,et al.  Performance Analysis Of A WWW Server , 1996, Int. CMG Conference.

[39]  Jonathan Billington,et al.  Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets , 2000, ICATPN.

[40]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .

[41]  Randall P. Sadowski,et al.  Simulation with Arena , 1998 .

[42]  Raj Jain,et al.  The art of computer systems performance analysis - techniques for experimental design, measurement, simulation, and modeling , 1991, Wiley professional computing.

[43]  Søren Christensen,et al.  Visualising the Behaviour of Intelligent Networks , 1998, Services and Visualization: Towards User-Friendly Design.

[44]  Henning Clausen,et al.  Validation and performance analysis of network algorithms by coloured Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[45]  Steven Gordon.  Verification of the WAP Transaction Layer using Coloured Petri Nets , 2001 .

[46]  Giuliana Franceschinis,et al.  SWN models of a contact center: a case study , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[47]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[48]  Holger Hermanns,et al.  Process Algebra and Markov Chains , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[49]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[50]  Jerome A. Rolia,et al.  Web Server Performance Measurement and Modeling Techniques , 1998, Performance evaluation (Print).

[51]  Daniel A. Reed,et al.  NCSA's World Wide Web Server: Design and Performance , 1995, Computer.

[52]  Jonathan Billington.  Extending coloured petri nets , 1988 .

[53]  Antti Valmari,et al.  The State Explosion Problem , 1996, Petri Nets.

[54]  David Flanagan,et al.  Java in a Nutshell , 1996 .

[55]  William H. Sanders,et al.  The Mobius modeling tool , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[56]  William H. Sanders,et al.  An environment for importance sampling based on stochastic activity networks , 1994, Proceedings of IEEE 13th Symposium on Reliable Distributed Systems.

[57]  Mineo Takai,et al.  Parssec: A Parallel Simulation Environment for Complex Systems , 1998, Computer.

[58]  Roy T. Fielding,et al.  Hypertext Transfer Protocol - HTTP/1.1 , 1997, RFC.

[59]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[60]  Wendy E. Mackay,et al.  Reification, polymorphism and reuse: three principles for designing visual interfaces , 2000, AVI '00.

[61]  Stephen Gilmore,et al.  The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling , 1994, Computer Performance Evaluation.

[62]  Christoph Lindemann,et al.  DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets , 1993, Perform. Evaluation.

[63]  Christoph Lindemann,et al.  Performance Modelling with Deterministic and Stochastic Petri Nets , 1998, PERV.

[64]  Lisa Wells,et al.  Performance Analysis using Coloured Petri Nets , 2002 .

[65]  Bo Lindstrøm,et al.  Annotating Coloured Petri Nets , .

[66]  M.C. Fu,et al.  Simulation optimization , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).

[67]  Paul Barford,et al.  Generating representative Web workloads for network and server performance evaluation , 1998, SIGMETRICS '98/PERFORMANCE '98.

[68]  Wendy E. Mackay,et al.  CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets , 2001, ICATPN.

[69]  Bill Kennedy,et al.  HTML: The Definitive Guide , 1996 .

[70]  Gianfranco Balbo,et al.  Introduction to Stochastic Petri Nets , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[71]  John S. Heidemann,et al.  Modeling the performance of HTTP over several transport protocols , 1997, TNET.

[72]  Gianfranco Ciardo,et al.  Modeling a scalable high-speed interconnect with stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[73]  Antti-Pekka Tuovinen,et al.  Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets , 2002, ICATPN.

[74]  M.A. Qureshi,et al.  The UltraSAN Modeling Environment , 1995, Perform. Evaluation.

[75]  Jack P. C. Kleijnen,et al.  Experimental Design for Sensitivity Analysis, Optimization and Validation of Simulation Models , 1997 .

[76]  Russell R. Barton,et al.  Institute for Operations Research and the Management Sciences , 2004, INFORMS J. Comput..

[77]  Christian Kelling.  A framework for rare event simulation of stochastic Petri nets using “RESTART” , 1996, Winter Simulation Conference.

[78]  William H. Sanders,et al.  Construction and solution of performability models based on stochastic activity networks , 1988 .

[79]  J. Banks,et al.  Handbook of Simulation , 1998 .

[80]  Randall P. Sadowski,et al.  Introduction to Simulation Using Siman , 1990 .

[81]  Marco Ajmone Marsan,et al.  SWN Analysis and Simulation of Large Knockout ATM Switches , 1998, ICATPN.

[82]  Henning Clausen,et al.  Analysis of Usage Parameter Control Algorithms for ATM Networks , 1994, Broadband Communications.

[83]  Peter Buchholz,et al.  QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets , 1995, MMB.

[84]  Kees M. van Hee,et al.  Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets , 2000, ICATPN.

[85]  Joost-Pieter Katoen,et al.  Lectures on Formal Methods and PerformanceAnalysis , 2001, Lecture Notes in Computer Science.

[86]  Susanna Donatelli,et al.  Compositionality in the GreatSPN tool and its application to the modelling of industrial applications , 2000 .

[87]  S. Wittevrongel,et al.  Queueing Systems , 2019, Introduction to Stochastic Processes and Simulation.

[88]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[89]  Howard Bowman,et al.  Analysis of a Multimedia Stream using Stochastic Process Algebra , 2001, Comput. J..