Nothing Special   »   [go: up one dir, main page]

Skip to main content

On net modeling of industrial size concurrent systems

  • Project Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1993 (ICATPN 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 691))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. The Benchmark Handbook for Database and Transaction Processing Systems. Edited by Jim Gray, Morgan Kaufmann Publishers Inc., San Mateo, California, 1991.

    Google Scholar 

  2. 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 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 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Marco Ajmone Marsan

Rights and permissions

Reprints 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

Publish with us

Policies and ethics