|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| J. Campos, G. Chiola, M. Silva, "Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector," IEEE Transactions on Software Engineering, vol. 17, no. 2, pp. 117-125, February, 1991. | |||
| BibTex | x | ||
| @article{ 10.1109/32.67593, author = {J. Campos and G. Chiola and M. Silva}, title = {Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector}, journal ={IEEE Transactions on Software Engineering}, volume = {17}, number = {2}, issn = {0098-5589}, year = {1991}, pages = {117-125}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.67593}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector IS - 2 SN - 0098-5589 SP117 EP125 EPD - 117-125 A1 - J. Campos, A1 - G. Chiola, A1 - M. Silva, PY - 1991 KW - persistent nets; ergodicity; throughput bounds; Petri nets; unique consistent firing count vector; marked graphs; mono-T-semiflow net subclasses; linear programming; incidence matrix; synchronized queuing networks; linear programming; Petri nets VL - 17 JA - IEEE Transactions on Software Engineering ER - | |||
Ergodicity and throughput bound characterization are addressed for a subclass of timed and stochastic Petri nets, interleaving qualitative and quantitative theories. The nets considered represent an extension of the well-known subclass of marked graphs, defined as having a unique consistent firing count vector, independently of the stochastic interpretation of the net model. In particular, persistent and mono-T-semiflow net subclasses are considered. Upper and lower throughput bounds are computed using linear programming problems defined on the incidence matrix of the underlying net. The bounds proposed depend on the initial marking and the mean values of the delays but not on the probability distributions (thus including both the deterministic and the stochastic cases). From a different perspective, the considered subclasses of synchronized queuing networks; thus, the proposed bounds can be applied to these networks.
[1] J. Campos, G. Chiola, and M. Silva, "Properties and steady-state performance bounds for Petri nets with unique repetitive firing count vector," inProc. 3rd Int. Workshop Petri Nets and Performance Models, Kyoto, Japan, Dec. 1989. Washington, DC: IEEE Comput. Soc. Press, pp. 210-220.
[2] J. Campos, G. Chiola, J. M. Colom, and M. Silva, "Tight polynomial bounds for steady-state performance of marked graphs," inProc. 3rd Int. Workshop Petri Nets and Performance Models, Kyoto, Japan, Dec. 1989. Washington, DC: IEEE Comput. Soc. Press, pp. 200-209.
[3] T. Murata, "Petri nets: Properties, analysis, and applications,"Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[4] G. W. Brams,Réseaux de Petri: Théorie et Pratique. T.1. Théorie et Analyse. Paris: Masson, 1983.
[5] C. Ramchandani, "Analysis of asynchronous concurrent systems by Petri nets," Ph.D. dissertation, M.I.T., Cambridge, MA, Feb. 1974.
[6] M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, "The effect of execution policies on the semantics and analysis of stochastic Petri nets,"IEEE Trans. Software Eng., vol. 15, no. 7, pp. 832-846, July 1989.
[7] E. Gelenbe and G. Pujolle,Introduction to Queueing Networks. New York: Wiley, 1987.
[8] K. G. Murty,Linear Programming. New York: Wiley, 1983.
[9] G. Florin and S. Natkin, "Les réseaux de Petri stochastiques,"Technique et Science Informatiques, vol. 4, no. 1, pp. 143-160, 1985.
[10] E. Best and K. Voss, "Free-choice systems have home states,"Acta Inform., vol. 21, pp. 89-100, 1984.
[11] M. Silva and J. M. Colom, "On the computation of structural synchronic invariants in P/T nets," inAdvances in Petri Nets(LNCS 340), G. Rozenberg, Ed. berlin: Springer-Verlag, 1988, pp. 386-417.
[12] M. Silva, "Towards a synchrony theory for P/T nets," inConcurrency and Nets, K. Voss, H. Genrich, and G. Rozenberg, Eds. Berlin: Springer-Verlag, 1987, pp. 435-460.
[13] C. V. Ramamoorthy and G. S. Ho, "Performance evaluation of asynchronous concurrent systems using Petri nets,"IEEE Trans. Software Eng., vol. SE-6, no. 5, pp. 440-449, Sept. 1980.
[14] J. Campos, G. Chiola, and M. Silva, "Properties and performance bounds for closed free choice synchronized monoclass queueing networks," Dep. Ingeniería Eléctrica e Informática, Univ. Zaragoza, Spain, Res. Rep. GISI-RR-90-2, Jan. 1990.