Abstract
General marking dependency in Generalised Stochastic Petri Nets (GSPNs) has been limited because of the drawbacks that can it can cause, such as stochastic confusion and discrepancy with the underlined untimed PN model. Rates of a timed transition can only be made dependent on its input places and probability of an immediate transition on places of its Extended Conflict Set (ECS). We show, using a GSPN model of the Two-Phase Locking concurrency control mechanism, that in some models, in order to accurately reflect the behaviour of the system modelled, it is useful, if not necessary, to allow the global state of the system to determine transition probabilities and rates.
The author is supported by a grant from the Venezuelan Government Research Council(CONICIT)
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
M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Trans, on Comp. Sys., 2(1), May 1984.
G. Chiola, M. Marsan Ajmone, G. Balbo, and G. Conte. Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. IEEE Trans, on Soft. Eng., 19:89–107, February 1993.
M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modeling with Generalized Stochastic Petri Nets. John Wiley & Sons Ltd., 1994.
G. Balbo, G. Franceschinis, and G. Molinar Roet. On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. In IEEE Comp. Soc. Press, editor, Proc. 2nd Int. Workshop on Petri Nets and Performance Models, pages 136–145, Madison, U.S, 1987.
K.H. Pun and G. Belford. Performance Study of Two Phase Locking in Single-Site Database Systems. IEEE Trans, on Soft. Eng., SE-13(12):1311–1328, December 1987.
I.K. Ryu and A. Thomasian. Analysis of Database Performance with Dynamic Locking. J. Assoc. of Comp. Machinery, 37(3):491–523, July 1990.
A. Thomasian. Two-Phase Locking Performance and Its Thrashing Behavior. ACM Trans, on Database Systems, 18(4):579–625, December 1993.
G. Ciardo, J. Muppala, and K.S. Trivedi. Manual for the SPNP package version 3.0. Duke University, Durham, NC - U.S.A., May 1991.
C. Devor and C. Carlson. Structural locking mechanisms and their effect on database management system performance. Info. Sys., 7(4):345–358, 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag London Limited
About this chapter
Cite this chapter
Rojas, I. (1996). “General” marking-dependent rates and probabilities in GSPNs . In: Merabti, M., Carew, M., Ball, F. (eds) Performance Engineering of Computer and Telecommunications Systems. Springer, London. https://doi.org/10.1007/978-1-4471-1007-1_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1007-1_9
Publisher Name: Springer, London
Print ISBN: 978-3-540-76008-5
Online ISBN: 978-1-4471-1007-1
eBook Packages: Springer Book Archive