On net modeling of industrial size concurrent systems

  • Ludmila Cherkasova
  • Vadim Kotov
  • Tomas Rokicki
Project Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 691)


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.


Hash Table Input Place Guard Condition Colored Token Basic Structural Feature 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Gray91]
    The Benchmark Handbook for Database and Transaction Processing Systems. Edited by Jim Gray, Morgan Kaufmann Publishers Inc., San Mateo, California, 1991.Google Scholar
  2. [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
  3. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Ludmila Cherkasova
    • 1
  • Vadim Kotov
    • 1
  • Tomas Rokicki
    • 2
  1. 1.Hewlett-Packard LaboratoriesPalo AltoUSA
  2. 2.Computer Science DepartmentStanford UniversityStanfordUSA

Personalised recommendations