Abstract
A semi-Markovian Stochastic Petri Net is a powerful tool modelling a wide class of applications. Correspondingly, increasing its flexibility, it is more difficult to solve the mathematical model associated. Performance algorithms are proposed in order to develop an automated-computer state space generation and to perform the stochastic analysis of the large systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baccelli, F., Cohen, G., Olsder, G. J. and Quadrat, J.-P. (1992). Synchronization and linearity. An Algebra for Discrete Event Systems, New York: John Wiley & Sons.
David, R. and Alla, H. (1989). Du Grafcet aux réseaux de Petri, Hermès edition.
Dugan, J. B., Trivedi, K., Geist, R. M. and Nicola, V. F. (1984). Extended Stochastic Petri Nets. PERFORMANCE’84 pp. 507–519. North-Holland: Elvesier Science Publishers B. V.
Florin, G. and Natkin, S. (1985). Les réseaux de Petri stochastiques, Technique et Science Informatiques, 0752-4072/85/01, 143–160.
Limnios, N. (1993). A transient solution method for semi-Markov systems, Statistics and Probability Letters, 17, 221-220.
Lin, C. and Marinescu, D. C. (1988). Stochastic high-level Petri nets and applications, IEEE Transactions on Computers, 7.
Marsan, M. A., Balbo, G. and Conte, G. (1984). A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Transactions on Computer Systems.
Merlin, P. M. and Farber, D. J. (1976). Recoverability of communication protocols — implications of a theoretical study, IEEE Transactions on Communications.
Molloy, M. K. (1982). Performance analysis using stochastic Petri nets, IEEE Transactions on Computers, 31, 913–917.
Murata, T. (1989). Petri nets: Proprieties, analysis and applications, Proceedings of the IEEE, 77.
Natkin, S. (1980). Réseaux de Petri Stochastiques, Thèse de Docteur Ingenieur.
Noe, J. D. and Nutt, G. J. (1973). Macro e-nets representation of parallel systems, IEEE Transactions on Computers.
Papoulis, A. (1965). Probability, Random Variables, and Stochastic Processes, New York: McGraw-Hill Publishing Company.
Ulmeanu, A. P. (1995). Manuel de l’utilisateur PAMS, Université de Technologie Compiègne, France.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Ulmeanu, A.P., Ionescu, D.C. (1999). The Computer-Assisted Analysis of the Semi-Markovian Stochastic Petri Nets and an Application. In: Ionescu, D.C., Limnios, N. (eds) Statistical and Probabilistic Models in Reliability. Statistics for Industry and Technology. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-1782-4_22
Download citation
DOI: https://doi.org/10.1007/978-1-4612-1782-4_22
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-1-4612-7280-9
Online ISBN: 978-1-4612-1782-4
eBook Packages: Springer Book Archive