Skip to main content
SpringerLink
Log in

Introduction to GPenSIM

  • Chapter
  • First Online:
Petri Nets for Modeling of Large Discrete Systems

Part of the book series: Asset Analytics ((ASAN))

Abstract

This chapter introduces the General-purpose Petri net Simulator (GPenSIM). Only the basics of GPenSIM are given in this chapter; for a detailed study of GPenSIM, [9] is recommended. The development of GPenSIM is influenced by [27]. GPenSIM  defines a Petri net language for modeling and simulation of discrete event systems on the MATLAB platform. GPenSIM is also a simulator with which Petri net models can be developed, simulated, and analyzed. Also, GPenSIM can be used as a real-time controller.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Abbaszadeh A, Abedi M, Doustmohammadi A (2018) General stochastic Petri net approach for the estimation of power system restoration duration. Int Trans Electr Energy Syst 28(6):e2550

    Google Scholar 

  2. Al-Ahmari A, Kaid H, Li Z, Davidrajuh R (2020) Strict minimal siphon-based colored Petri net supervisor synthesis for automated manufacturing systems with unreliable resources. IEEE Access 8:22411–22424

    Article  Google Scholar 

  3. Behzad B, Farzad M, Davidrajuh R (2020) Understanding the ikea warehouse processes and modeling using modular Petri nets. Int J Simul–Syst, Sci Technol 21(2)

    Google Scholar 

  4. Cameron A, Stumptner M, Nandagopal N, Mayer W, Mansell T (2015) Rule-based peer-to-peer framework for decentralised real-time service oriented architectures. Sci Comput Program 97:202–234

    Article  Google Scholar 

  5. Chang H (2015) A method of gameplay analysis by Petri net model simulation. J Korea Game Soc 15(5):49–56

    Article  Google Scholar 

  6. Davidrajuh R (2007) Exploring the use of bluetooth in building wireless information systems. Int J Mobile Commun 5(1):1–10

    Article  Google Scholar 

  7. Davidrajuh R (2008) Developing a new Petri net tool for simulation of discrete event systems. In: 2008 second Asia international conference on modelling simulation (AMS), pp 861–866

    Google Scholar 

  8. Davidrajuh R (2012) Designing fault-tolerant autonomous systems with adaptive supervisory control. In: 2012 Sixth UKSim/AMSS European symposium on computer modeling and simulation. IEEE, pp 185–190

    Google Scholar 

  9. Davidrajuh R (2018) Modeling discrete-event systems with GPenSIM. Springer International Publishing, Cham

    Google Scholar 

  10. Davidrajuh R (2019) Developing a toolbox for modeling and simulation of elevators. Int J Simul–Syst, Sci Technol 20(S1):1.1–1.6

    Google Scholar 

  11. Davidrajuh R, Krenczyk D (2019) Extending gpensim for model checking on Petri nets. Int J Simul–Syst, Sci Technol 20(1)

    Google Scholar 

  12. Davidrajuh R, Lin B (2011) Exploring airport traffic capability using Petri net based model. Expert Syst Appl 38(9):10923–10931

    Article  Google Scholar 

  13. Davidrajuh R, Roci A (2018) Performance of static slicing algorithms for Petri nets. Int J Simul Syst Sci Technol 20:15

    Google Scholar 

  14. Davidrajuh R, Saadallah N (2017) Implementing a cohesive pt nets with inhibitor arcs in gpensim. Int J Simul: Syst, Sci Technol 18(2)

    Google Scholar 

  15. Davidrajuh R, Velauthapillai D (2010) Schedsim: a test-bed for solving simple assembly line balancing problems

    Google Scholar 

  16. GPenSIM (2019) General-purpose Petri net simulator. Technical report. http://www.davidrajuh.net/gpensim. Accessed 20 July 2020

  17. Hussein ZS (2014) Simulation of food restaurant using colored Petri nets. J Eng Sustain Dev 18(4):77–88

    Google Scholar 

  18. Jyothi SD (2012) Scheduling flexible manufacturing system using Petri-nets and genetic algorithm. Thiruvananthapuram, India, Department of Aerospace Engineering, Indian Institute of Space Science and Technology

    Google Scholar 

  19. Kaid H, Al-Ahmari A, Li Z, Davidrajuh R (2020) Intelligent colored token Petri nets for modeling, control, and validation of dynamic changes in reconfigurable manufacturing systems. Processes 8(3):358

    Article  Google Scholar 

  20. Kaid H, Al-Ahmari A, Li Z, Davidrajuh R (2020) Single controller-based colored Petri nets for deadlock control in automated manufacturing systems. Processes 8(1):21

    Article  Google Scholar 

  21. Krenczyk D, Davidrajuh R, kolud B (2019) Comparing two methodologies for modeling and simulation of discrete-event based automated warehouses systems. In: Advances in Manufacturing II. Springer, pp 161–175

    Google Scholar 

  22. Melberg R, Davidrajuh R (2009) Modeling atlantic salmon fish farming industry. In: 2009 IEEE international conference on industrial technology, pp 1–6

    Google Scholar 

  23. Mutarraf U, Barkaoui K, Li Z, Wu N, Qu T (2018) Transformation of business process model and notation models onto Petri nets and their analysis. Adv Mech Eng 10(12):1–21

    Article  Google Scholar 

  24. Mutarraf U, Barkaoui K, Li Z, Wu N, Qu T (2018) Transformation of business process model and notation models onto Petri nets and their analysis. Adv Mech Eng 10(12):1687814018808170

    Article  Google Scholar 

  25. Ortiz L, Gutiérrez LB, González JW, Águila A (2020) A novel strategy for dynamic identification in ac/dc microgrids based on arx and Petri nets. Heliyon 6(3):e03559

    Google Scholar 

  26. Pan XL, He G, Zhang CJ, Ming TF, Wang XC (2012) Research on modeling and simulating of discrete event system based on Petri net. In: Advanced Engineering Forum, vol 4. Trans Tech Publications, pp 80–85

    Google Scholar 

  27. Peterson JL (1981) Petri net theory and the modeling of systems. Prentice Hall PTR

    Google Scholar 

  28. Popova-Zeugmann L (2013) Time Petri nets. Springer, Time and Petri Nets, pp 31–137

    Book  Google Scholar 

  29. Proth J (1993) Performance evaluation of manufacturing systems. Practice of Petri Nets in manufacturing. Springer, pp 147–183

    Google Scholar 

  30. Roci A, Davidrajuh R (2018) A polynomial-time alpha-algorithm for process mining. Int J Simul–Syst, Sci Technol 19(5)

    Google Scholar 

  31. Skolud B, Krenczyk D, Davidrajuh R (2016) Solving repetitive production planning problems. an approach based on activity-oriented Petri nets. In: International Joint Conference SOCO’16-CISIS’16-ICEUTE’16. Springer, pp 397–407

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering and Computer Science, University of Stavanger, Stavanger, Norway

    Reggie Davidrajuh

Authors
  1. Reggie Davidrajuh
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Reggie Davidrajuh .

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Davidrajuh, R. (2021). Introduction to GPenSIM. In: Petri Nets for Modeling of Large Discrete Systems. Asset Analytics. Springer, Singapore. https://doi.org/10.1007/978-981-16-5203-5_2

Download citation

Publish with us

Policies and ethics

Search

Navigation