Skip to main content
SpringerLink
Log in

Petri Net Modeling and Analysis of SMART ATM

  • Conference paper
  • First Online:
Advances in Computing and Intelligent Systems

Part of the book series: Algorithms for Intelligent Systems ((AIS))

  • 802 Accesses

Abstract

Automated Teller Machines being an easily available and accessible system for cash withdrawal and deposition for the bank’s customer is prone to different types of attacks and robbery. Thus, many upgradations are made and few are in process of implementations. In this paper, structural modeling of a novice system, viz., Safe Mode Alarm Reporting Technique (SMART) for ATM has been done through its Petri net modeling. Here, the system validation and evaluation has been done through the Petri net modeling of the SMART ATM Communication Process Model, which is then tested and analyzed through Token movement analysis for reachability, liveness, and boundedness property test.

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. Rao, K. S. (2015). Automated teller machines usage in India: Emerging challenges. Sumedha Journal of Management, 4(1), 31.

    Google Scholar 

  2. Betab, G., & Sandhu, R. K. (2014). Fingerprints in automated teller Machine-A survey. International Journal of Engineering and Advanced Technology, 3(4), 183–186.

    Google Scholar 

  3. Mcandrews, J. J. (2003). Automated teller machine network pricing—a review of the literature. Review of Network Economics, 2(2), 146-158.

    Google Scholar 

  4. Sharma, M., Rathore, V. S., & Sharma, C. (2019). System modeling and design of smart for ATM, available at SSRN: https://ssrn.com/abstract=3356242.

  5. Sharma, M., Sharma, C., & Khan, A. (2019). SMART ATM: Technology acceptance modeling and analysis, available at SSRN: https://ssrn.com/abstract=3356363.

  6. Sharma, M., & Rathore, V. S. (2014). A Framework for safe mode alarm reporting technique (SMART) in ATMs. International Journal of Computer Applications, 96(1).

    Google Scholar 

  7. Sharma, M. (2015). Imminent gadgets and methods for an effective SMART ATM. In Proceedings of 4th National Conference (pp. 45–49). St. Xavier’s College.

    Google Scholar 

  8. Sharma, M., & Rathore, V. S. (2014). A review on security and reporting mechanisms for coerced cash withdrawal from ATM. International Journal of Enhanced Research in Science Technology & Engineering, 5, 422–425.

    Google Scholar 

  9. Sharma, M., et. al. (2014). An investigative study on physical security and reporting mechanism in ATM. In Proceedings of BICON-14 on New Horizons of Information Technology by Using Engineering and Mathematical Approaches (pp. 133–137).

    Google Scholar 

  10. Murata, T. (1989). Petri nets: Properties, analysis and applications. In Proceedings of the IEEE, (Vol. 77, Issue. 4, pp. 541–580).

    Google Scholar 

  11. Bergstra, J., & Klop, J. (1985). Algebra of communicating processes with abstraction, TCS37. pp. 77–121.

    Google Scholar 

  12. Hamadi, R., et al. (2003). A petri net-based model for web service composition, In Proceeding. ADC ‘03 Proceedings of the 14th Australasian Database Conference, 17, pp. 191–200.

    Google Scholar 

  13. Bernardi, S., et al. (2002). From UML sequence diagrams and statecharts to analysable petri net models, In Proceeding. WOSP ’02 Proceedings of the 3rd International Workshop on Software and Performance, pp. 35–45.

    Google Scholar 

  14. Van der Aalst, W. (2016). Process Modeling and Analysis. In Process Mining. Berlin, Heidelberg: Springer.

    Google Scholar 

  15. Chen, T. M., Sanchez-Aarnoutse, J. C., & Buford, J. (2011). Petri net modeling of cyber-physical attacks on smart grid. IEEE Transactions on Smart Grid, 2(4), 741–749.

    Article  Google Scholar 

  16. Salimifard, K., et al. (2001). Petri net-based modelling of workflow systems: An overview. European Journal of Operational Research, 134(3), 664–676.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. St. Xavier’s College, Jaipur, Rajasthan, India

    Madhu Sharma

  2. B.Tech, SKIT Engineering College, Jaipur, Rajasthan, India

    Cmaune Sharma

Authors
  1. Madhu Sharma
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cmaune Sharma
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Madhu Sharma .

Editor information

Editors and Affiliations

  1. Rajasthan Technical University, Kota, Rajasthan, India

    Harish Sharma

  2. University of Southern Denmark, Odense, Denmark

    Kannan Govindan

  3. Amity University, Jaipur, Rajasthan, India

    Ramesh C. Poonia

  4. Amity University, Jaipur, Rajasthan, India

    Sandeep Kumar

  5. University of Bahrain, Zallaq, Bahrain

    Wael M. El-Medany

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Sharma, M., Sharma, C. (2020). Petri Net Modeling and Analysis of SMART ATM. In: Sharma, H., Govindan, K., Poonia, R., Kumar, S., El-Medany, W. (eds) Advances in Computing and Intelligent Systems. Algorithms for Intelligent Systems. Springer, Singapore. https://doi.org/10.1007/978-981-15-0222-4_49

Download citation

Publish with us

Policies and ethics

Search

Navigation