Abstract
This paper recalls the numerical solution method for Deterministic and Stochastic Petri Nets (DSPNs) and describes the graphical, interactive analysis tool DSPNexpress which has been developed at the Technische Universität Berlin since 1991. The software package DSPNexpress allows the employment of complex DSPNs for evaluating the performance and dependability of discrete-event dynamic systems such as computer systems, communication networks, or automated manufacturing systems. A DSPN of a memory consistency model for a multicomputer system with virtually shared memory is presented to illustrate the modeling power of DSPNs.
This work was supported by the Federal Ministry for Research and Technology of Germany (BMFT) under grant ITR9003.
Chapter PDF
Keywords
- Transition Firing
- Embed Markov Chain
- Numerical Solution Method
- Deterministic Transition
- Conversion Matrix
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
M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. The Effect of Execution Policies on the Semantics of Stochastic Petri Nets. IEEE Trans. Softw. Engin., 15, pages 832–846, 1989.
M. Ajmone Marsan and G. Chiola. On Petri Nets with Deterministic and Exponentially Distributed Firing Times”, in: G. Rozenberg (Ed.) Advances in Petri Nets 1986, Lecture Notes in Computer Science 266, pages 132–145, Springer 1987.
M. Ajmone Marsan, G. Chiola, and A. Fumagalli. An Accurate Performance Model of CSMA/CD Bus LAN, in: G. Rozenberg (Ed.) Advances in Petri Nets 1986, Lecture Notes in Computer Science 266 pages 146–161, Springer 1987.
M. Ajmone Marsan, G. Chiola, and A. Fumagalli. Improving the Efficiency of the Analysis of DSPN Models, in: G. Rozenberg (Ed.) Advances in Petri Nets 1989, Lecture Notes in Computer Science 424, pages 30–50, Springer 1990.
M. Ajmone Marsan and V. Signore. Timed Petri Net Performance Models for Fiber Optic LAN Architectures, Proc. 2nd Int. Workshop on Petri Nets and Performance Models, Madison Wisconsin, pages 66–74, 1987.
G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar Roet. On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. Proc. 2nd Int. Workshop on Petri Nets and Performance Models, Madison Wisconsin, pages 85–92, 1987.
G. Chiola. A Graphical Petri Net Tool for Performance Analysis. Proc. 3rd Int. Workshop on Modelling Techniques and Performance Evaluation, Paris France, pages 323–333, 1987.
H. Choi, V. Kulkarni, and K.S. Trivedi. Transient Analysis of Deterministic and Stochastic Petri Nets, Proc. 14th Int. Conf. on Applications and Theory of Petri Nets, Chicago Illinois, June 1993 (to appear).
H. Choi, V. Kulkarni, and K.S. Trivedi. Markov Regenerative Stochastic Petri Nets, Proc. 16th Int. Symposium on Computer Performance Modeling, Measurement, and Evaluation (PERFORMANCE '93), Roma Italy October 1993, (to appear).
R. German and C. Lindemann. Analysis of Stochastic Petri Nets by the Method of Supplementary Variables, Proc. 16th Int. Symposium on Computer Performance Modeling, Measurement, and Evaluation (PERFORMANCE '93), Roma Italy October 1993, (to appear).
D. Gross and D.R. Miller. The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes, Operations Research, 32, pages 345–361, 1984.
M.A. Holliday and M.K. Vernon. A Generalized Timed Petri Net Model for Performance Analysis, IEEE Trans. Softw. Engin., 12, pages 1297–1310, 1987.
C. Lindemann. DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets, Proc. 6th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation, Edinburgh Scotland, pages 15–29, 1992.
C. Lindemann. An Improved Numerical Algorithm for Calculating Steady-state Solutions of Deterministic and Stochastic Petri Net Models, Performance Evaluation, 18, 1993 (in press).
C. Lindemann, G. Ciardo, R. German, and G. Hommel. Performability Evaluation of an Automated Manufacturing System with Deterministic and Stochastic Petri Nets, Proc. Int. Conf on Robotics and Automation, Atlanta Georgia, pages 576–581, 1993.
C. Lindemann and R. German. Modeling Discrete Event Systems with State-dependent Deterministic Service Times, Discrete Event Dynamic Systems: Theory and Applications, 3, pages 249–270, 1993.
C. Lindemann and F. Schön. Evaluating Sequential Consistency in a Virtually Shared Memory System with Deterministic and Stochastic Pelri Nets; Proc. Int. Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, San Diego California, pages 63–68, 1993.
M. Lu, D. Zhang, and T. Murata. Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets, IEEE Trans. on Computers, 39, pages 597–604, 1990.
K.S. Trivedi, H. Choi, and V. Mainkar. Sensitivity Analysis of Deterministic and Stochastic Petri Nets, Proc. Int. Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, San Diego California, pages 271–276, 1993.
W.M. Zuberck. Timed Petri Nets: Definitions, Properties, and Applications, Microelectronics & Reliability, 31, pages 627–644, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lindemann, C. (1993). Performance modeling using DSPNexpress. In: Donatiello, L., Nelson, R. (eds) Performance Evaluation of Computer and Communication Systems. Performance SIGMETRICS 1993 1993. Lecture Notes in Computer Science, vol 729. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013857
Download citation
DOI: https://doi.org/10.1007/BFb0013857
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57297-8
Online ISBN: 978-3-540-48044-0
eBook Packages: Springer Book Archive