Abstract
The paper discusses the modeling of OLTP (On-Line Transaction Processing) using colored Petri nets and the Design/CPN tool. We have performed industrial-sized simulation of tens of thousands of transactions running on databases with millions of records. OLTP applications were chosen because the OLTP workloads emphasize update-intensive database services with up to thousands of concurrent transactions per second. The goal of the experiment was to develop a methodology for the net modeling of OLTP-like applications with respect to the ability of different computer systems to meet the OLTP benchmarks requirements. The effort spent on the successful modeling of such large systems resulted in some methodological conclusions which required us to avoid straightforward approaches to the net modeling and to develop a combined technique of using nets together with embedded programming for simulation and analytical modeling.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
The Benchmark Handbook for Database and Transaction Processing Systems. Edited by Jim Gray, Morgan Kaufmann Publishers Inc., San Mateo, California, 1991.
Jensen K. Coloured Petri Nets: A High Level Language for System Design and Analysis. In Advances in Petri Nets 1990, Springer Verlag, LNCS, vol.483, 1991, pp. 342–416.
Pinci V., Shapiro R.M. An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets. In High-Level Petri Nets, Springer Verlag, 1991, pp. 649–666.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cherkasova, L., Kotov, V., Rokicki, T. (1993). On net modeling of industrial size concurrent systems. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_67
Download citation
DOI: https://doi.org/10.1007/3-540-56863-8_67
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56863-6
Online ISBN: 978-3-540-47759-4
eBook Packages: Springer Book Archive