On net modeling of industrial size concurrent systems
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.
KeywordsHash Table Input Place Guard Condition Colored Token Basic Structural Feature
Unable to display preview. Download preview PDF.
- [Gray91]The Benchmark Handbook for Database and Transaction Processing Systems. Edited by Jim Gray, Morgan Kaufmann Publishers Inc., San Mateo, California, 1991.Google Scholar
- [Jensen87]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.Google Scholar
- [Pinci-Shapiro91]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.Google Scholar