Abstract
We give a necessary condition and a sufficient one for the saturation of a Markovian Stochastic Petri Net. These conditions can be explicitly checked in practical situations. As a particular case, we show that our conditions are equivalent to the classical condition of saturation for Jackson Queuing Networks. The applicability of the method is demonstrated also on examples of OSQN and OMS networks.
Preview
Unable to display preview. Download preview PDF.
References
M. AJMONE-MARSAN, G. BALBO, G. CONTE (1984) A class of generalized Stochastic Petri Nets for the performance evaluation of multiprocessor systems. A. C. M. Transactions on Computer System, Vol. 2, 2, pp. 93–122.
P. BILLINGSLEY (1979) Probability and measure Wiley, New York.
J. CAMPOS, M. SILVA (1990) Steady state performance evaluation of Totally Open Systems of Markovian Sequential. Processes. in ‘Decentralized Systems', M. Cosnard, C. Girault eds., pp. 427–438, North-Holland, Amsterdam.
G. FLORIN, S. NATKIN (1986) One-Place Unbounded Stochastic Petri Nets: Ergodic Criteria and Steady-State Solutions. J. Syst. Software, Vol. 1 pp. 103–115.
G. FLORIN, S. NATKIN (1989) Necessary and sufficient ergodicity condition for open synchronized queuing networks. IEEE Trans. on Software Engineering Vol. 15, 4, pp. 367–380.
E. GELENBE, G. PUJOLLE (1982) Introduction aux réseaux de files d' attente. Eyrolles, Paris.
J. R. JACKSON (1963) Jobshop-like queuing systems Management Science Vol. 10, pp. 131–142.
M. K. MOLLOY (1982) Performance analysis using stochastic Petri nets IEEE Transactions on Computers Vol. C-31, 9, pp. 913–917.
J. NEVEU (1975) Discrete-Parameter Martingales. North-Holland, Amsterdam.
A. G. PAKES (1969) Some conditions for Ergodicity and Recurrence of Markov Chains. Opns. Res. Vol. 17, pp. 1058–1061.
J. L. PETERSON (1981) Petri Net Theory and the modelling of systems Prentice Hall, New-Jersey.
W. REISIG (1982) Deterministic buffer synchronization of sequential processes. Acta Inf., 18, pp. 117–134.
A.N. SHIRYAYEV (1984) Probability Springer, New-York.
M. SILVA (1985) Las redes de Petri en la automática y la informática Editorial AC, Madrid.
Y. SOUISSI, N. BELDICEANU (1988) Deterministic systems of sequential processes: theory and tools. in’ Concurrency 88', F. H. Vogt ed., pp. 380–400. Lecture Notes in Comp. Sci. 335, Springer, New York.
W. SZPANKOWSKI (1988) Stability Conditions for Multidimensional Queuing Systems with Computer Applications. Opns. Res. Vol. 36 pp. 944–957.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gouet, R., Plo, F., Miguel, M.S., Ycart, B. (1993). Saturation conditions for Stochastic Petri Nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1993. ICATPN 1991. Lecture Notes in Computer Science, vol 674. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56689-9_47
Download citation
DOI: https://doi.org/10.1007/3-540-56689-9_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56689-2
Online ISBN: 978-3-540-47631-3
eBook Packages: Springer Book Archive