Advertisement

Benchmarking GPenSIM

  • Reggie Davidrajuh
Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 312)

Abstract

Petri Nets is a family of modeling formalisms, consisting of various types of Petri nets with different interpretations and abstraction levels. General Purpose Petri Net Simulator (GPenSIM) is a new Petri Net simulator that implements many of the Petri Net types. This paper presents first a short introduction to the various types of Petri Nets; second, GPenSIM is tested for its implementation of various Petri Net types, using the classical benchmark known as the problem of “Buffered Producers-Consumers with shared channel (BPC)”; the modeling and simulations given in this paper show that the classical BPC problem can be solved by a variety of Petri Net extensions implemented in GPenSIM. In addition to the Petri Net extensions, some facilities are also provided in GPenSIM (e.g. resources), with which some specific problems can be conveniently solved.

Keywords

Benchmarking GPenSIM Petri nets Discrete event systems 

References

  1. 1.
    J. L. Peterson, Petri Net Theory and the Modeling of Systems. NJ, USA: Prentice-Hall, 1981Google Scholar
  2. 2.
    W. Reisig, Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies, Springer, 2013Google Scholar
  3. 3.
    L. Popova-Zeugmann, Time and Petri Nets, Springer, 2013Google Scholar
  4. 4.
    B. Berard, F. Cassez, S. Haddad, D. Lime, and O. H. Roux, “The expressive power of time Petri nets,” Theor. Comput. Sci., vol. 474, pp. 1–20, February 2013.Google Scholar
  5. 5.
    R. David, and H. Alla, “Discrete, Continuous and Hybrid Petri Nets,” IEEE Control Systems, Vol. 28, Issue. 3, pp. 81-84, June 2008.Google Scholar
  6. 6.
    R. Davidrajuh, “Revisiting Petri Net modeling of Cigarette Smokers’ Problem,” Proc. IEEE European Modelling Symposium (EMS2013), November 20–22, 2013, Manchester, UK.Google Scholar
  7. 7.
    G. Ciardo, “Toward a Definition of Modeling Power for Stochastic Petri Net Models,” International Workshop on Petri Nets and Performance Models, pp. 54–62, 1987.Google Scholar
  8. 8.
    M. A. Marsan, G. Chiola, “On Petri nets with deterministic and exponentially distributed firing times,” Lecture Notes in Computer Science, Vol. 266, pp 132–145, 1987.Google Scholar
  9. 9.
    A. Mehrez, M. Muzumdar, W. Acar, and G. Weinroth, “A Petri Net Model View of Decision Making: an Operational Management Analysis,” Omega, Int. J. Mgmt Sci. Vol. 23, No. 1, pp. 63–78, 1995.Google Scholar
  10. 10.
    R. Davidrajuh, “General Purpose Petri Net Simulator (GPenSIM)”. Available: http://www.davidrajuh.net/gpensim/
  11. 11.
    R. Davidrajuh, “Developing a Petri Nets based Real-Time Control Simulator,” International Journal of Simulation, Systems, Science & Technology (IJSSST), vol. 12, issue. 3, pp. 28–36, 2012.Google Scholar
  12. 12.
    S. Kosaraju, “Limitations of Dijkstra’s Semaphore Primitives and Petri Nets,” Operating Systems Review, Vol. 7, No. 4, pp. 122–126, October 1973.Google Scholar
  13. 13.
    T. Agerwala, and M. Flynn, “Comments on Capabilities, Limitations and ‘Correctness’ of Petri Nets,” Proceedings of the First Annual Symposium on Computer Architecture, New York: ACM, pp. 81–86, 1973.Google Scholar
  14. 14.
    R. Keller, “Vector Replacement Systems: A Formalism for Modeling Asynchronous Systems,” Technical Report 117, Computer Science Laboratory, Princeton University, Princeton, New Jersey, January 1974.Google Scholar
  15. 15.
    R. Davidrajuh, “Achieving Atomicity of Tokens in Time Petri Nets”, Proc. IEEE European Modelling Symposium (EMS2012), November 14–16, 2012, Valetta, Malta.Google Scholar
  16. 16.
    R. Davidrajuh, “Activity-Oriented Petri Net for Scheduling of Resources,” Proc. IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2012), October 14–17, 2012, Seoul, Korea.Google Scholar
  17. 17.
    R. Davidrajuh, “GPenSIM code for the Petri Net models”. Available: http://www.davidrajuh.net/gpensim/2013-CISSE-SCSS-example

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.University of StavangerStavangerNorway

Personalised recommendations