Summary
We use operational analysis techniques to partially characterize the behaviour of timed Petri nets under very weak assumptions on their timing semantics. New operational inequalities are derived that are typical of the presence of synchronization and that were therefore not considered in queueing network models. We show an interesting application of the operational laws to the statement and the efficient solution of problems related to the estimation of performance bounds insensitive to the timing probability distributions. The results obtained generalize and improve in a clear setting results that were derived in the last few years for several different subclasses of timed Petri nets. In particular the extension to Well-Formed Coloured nets appears straightforward and allows an efficient exploitation of models symmetries.
This work was partially supported by the European ESPRIT BRA Project 7269 QMIPS, the Spanish PRONTIC’s 354/91 and 242/94, and the Aragonese CONAI-DGA P-IT 6/91.
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.
Similar content being viewed by others
References
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. on Soft. Eng., 15(7), pp. 832–846, July 1989.
G. Chiola, C. Anglano, J. Campos, J.M. Colom, and M. Silva, “Operational analysis of timed Petri nets and application to the computation of performance bounds”, In Proc. of the 5th Intern. Workshop on Petri Nets and Performance Models, pp. 128-137, Toulouse, October 1993.
J. Campos, G. Chiola, J.M. Colom, and M. Silva, “Properties and performace bounds for timed marked graphs”, IEEE Trans. on Circ. and Syst. I: Fundamental Th. and App., 39(5), pp. 386–401, May 1992.
J. Campos, G. Chiola, and M. Silva, “Ergodicity and throughput bounds for Petri nets with unique consistent firing count vector”, IEEE Trans. on Soft. Eng., 17(2), pp. 117–125, Feb. 1991.
J. Campos, G. Chiola, and M. Silva, “Properties and performance bounds for closed free choice synchronized monoclass queueing networks”, IEEE Trans. on Aut. Cont., 36(12), pp. 1368–1382, Dec. 1991.
J. Campos, J.M. Colom, and M. Silva, “Improving throughput upper bounds for net based models”, In Proc. of the IMACS-IFAC Symp. Modelling and Control of Tech. Syst., pp. 573-582, Lille, May 1991.
G. Chiola, “A graphical Petri net tool for performance analysis”, In Proc. of the 3rd Intern. Workshop on Modeling Techniques and Performance Evaluation, Paris, March 1987.
G. Chiola and C. Anglano, “Linear programming performance bounds for symmetric coloured nets”, Tech. Rep., Dip. di Informatica, Univ. di Torino, Feb. 1993.
G. Chiola, C. Dutheillet, G. Franceschinis and S. Haddad, “Stochastic Well-Formed Coloured nets for symmetric modelling applications”, IEEE Trans. on Comp., 1993. Accepted for publication.
J.M. Colom and M. Silva, “Improving the linearly based characterization of P/T nets”, In G. Rozenberg, ed. Advances in Petri Nets 1990, 483 of LNCS, pp. 113–145. Springer-Verlag, Berlin, 1991.
Y. Dallery and X.R. Cao, “Operational analysis of stochastic closed queueing networks”, Performance Evaluation, 14, pp. 43–61, 1992.
P.J. Denning and J.P. Buzen, “The operational analysis of queueing network models”, ACM Computing Surveys, 10, pp. 225–262, 1978.
E. Gelenbe, “Stationary deterministic flows in discrete systems: I”, Theoretical Computer Science, 3(2), pp. 107–127, April 1983.
T. Murata, “Petri nets: Properties, analysis, and applications”, Proceedings of the IEEE, 77(4), pp. 541–580, April 1989.
G.L. Nemhauser, A.H.G. Rinnooy Kan and M.J. Todd, eds. Optimization, 1 of Handbooks in Operations Research and Management Science. North-Holland, Amsterdam, 1989.
M. Silva, “Introducing Petri Nets”, Chapter 1 of Practice of Petri Nets in Manufacturing (F. Dicesare et al.), Chapman & Hall, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 ECSC-EC-EAEC, Brussels-Luxembourg
About this chapter
Cite this chapter
Chiola, G., Anglano, C., Campos, J., Colom, J.M., Silva, M. (1995). Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. In: Baccelli, F., Jean-Marie, A., Mitrani, I. (eds) Quantitative Methods in Parallel Systems. Esprit Basic Research Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-79917-4_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-79917-4_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-79919-8
Online ISBN: 978-3-642-79917-4
eBook Packages: Springer Book Archive