Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Orbital Petri Nets: A Petri Net Class for Studying Orbital Motion of Tokens

  • Conference paper
  • First Online:
Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2019 (AISI 2019)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1058))

Abstract

Petri Nets is very interesting tool for studying and simulating different behaviors of automatic systems. It can be used in different applications based on the appropriate class of Petri Nets (e.g. colored, timed, or higher order Petri Nets). In this paper, a novel Petri Net approach called Orbital Petri Nets (OPN) is proposed for studying the dynamic behaviour of orbital auto-systems such as satellites motion. This initial study introduced a theoretical analysis of OPN with highlighting the problem of space debris collision as a case study. By this novel approach of Petri Nets, new smart algorithms can be implemented and simulated for handling several space problems, such as satellites’ maneuvers or debris disposal.

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  2. Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (2013)

    Google Scholar 

  3. Van der Aalst, W.M.: Petri net based scheduling. Oper. Res. Spektrum 18(4), 219–229 (1996)

    Article  MathSciNet  Google Scholar 

  4. Liu, H.C., You, J.X., Li, Z., Tian, G.: Fuzzy Petri nets for knowledge representation and reasoning: a literature review. Eng. Appl. Artif. Intell. 1(60), 45–56 (2017)

    Article  Google Scholar 

  5. Ding, Z., Zhou, Y., Zhou, M.: Modeling self-adaptive software systems with learning Petri nets. IEEE Trans. Syst. Man Cybern. Syst. 46(4), 483–498 (2016)

    Article  Google Scholar 

  6. Liu, H., Xing, K., Wu, W., Zhou, M., Zou, H.: Deadlock prevention for flexible manufacturing systems via controllable siphon basis of Petri nets. IEEE Trans. Syst. Man Cybern. Syst. 45(3), 519–529 (2015)

    Article  Google Scholar 

  7. Ding, Z., Zhou, Y., Zhou, M.: A polynomial algorithm to performance analysis of concurrent systems via Petri nets and ordinary differential equations. IEEE Trans. Autom. Sci. Eng. 12(1), 295–308 (2015)

    Article  Google Scholar 

  8. Ye, J., Li, Z., Giua, A.: Decentralized supervision of Petri nets with a coordinator. IEEE Trans. Syst. Man Cybern. Syst. 45(6), 955–966 (2015)

    Article  Google Scholar 

  9. Baruwa, O.T., Piera, M.A., Guasch, A.: Deadlock-free scheduling method for flexible manufacturing systems based on timed colored Petri nets and anytime heuristic search. IEEE Trans. Syst. Man Cybern. Syst. 45(5), 831–846 (2015)

    Article  Google Scholar 

  10. Zhou, Y., Murata, T., DeFanti, T.A.: Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments. IEEE Trans. Syst. Man Cybern. Part B (Cybern.) 30(5), 737–756 (2000)

    Article  Google Scholar 

  11. Du, Y., Tan, W., Zhou, M.: Timed compatibility analysis of web service composition: a modular approach based on Petri nets. IEEE Trans. Autom. Sci. Eng. 11(2), 594–606 (2014)

    Article  Google Scholar 

  12. Huang, Y.S., Weng, Y.S., Zhou, M.: Modular design of urban traffic-light control systems based on synchronized timed Petri nets. IEEE Trans. Intell. Transp. Syst. 15(2), 530–539 (2014)

    Article  Google Scholar 

  13. Yu, W., Yan, C., Ding, Z., Jiang, C., Zhou, M.: Modeling and validating e-commerce business process based on Petri nets. IEEE Trans. Syst. Man Cybern. Syst. 44(3), 327–341 (2014)

    Article  Google Scholar 

  14. Liu, F., Blätke, M.A., Heiner, M., Yang, M.: Modelling and simulating reaction-diffusion systems using coloured Petri nets. Comput. Biol. Med. 1(53), 297–308 (2014)

    Article  Google Scholar 

  15. Bonilla, B.L., Asada, H.H.: A robot on the shoulder: coordinated human-wearable robot control using coloured petri nets and partial least squares predictions. In: 2014 IEEE International Conference on Robotics and Automation (ICRA), pp. 119–125. IEEE, 31 May 2014

    Google Scholar 

  16. Teslyuk, V.M., Beregovskyi, V.V., Pukach, A.I.: Development of smart house system model based on colored Petri nets. In: 2013 XVIIIth International Seminar/Workshop on Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory (DIPED), pp. 205–208. IEEE, 23 September 2013

    Google Scholar 

  17. Huang, H., Kirchner, H.: Secure interoperation design in multi-domains environments based on colored Petri nets. Inf. Sci. 1(221), 591–606 (2013)

    Article  MathSciNet  Google Scholar 

  18. Liou, J.C., Johnson, N.L., Hill, N.M.: Stabilizing the future LEO debris environment with active debris removal. Orbital Debris Quarterly News 12(4), 5–6 (2008)

    Google Scholar 

  19. Nishida, S.I., Kawamoto, S., Okawa, Y., Terui, F., Kitamura, S.: Space debris removal system using a small satellite. Acta Astronaut. 65(1–2), 95–102 (2009)

    Article  Google Scholar 

  20. Than, K.: Taking out the space trash. Popular Sciences, 27 June 2008

    Google Scholar 

  21. Klotz, I.: Debris briefly forces astronauts from space station. Reuters, 12 March 2009

    Google Scholar 

  22. Burger, B.: NASA’s Terra Satellite Moved to Avoid Chinese ASAT Debris. Space.com Site: www.space.com/news/070706-sn-china-terra.html

Download references

Author information

Authors and Affiliations

  1. Scientific Research Group in Egypt (SRGE), Cairo, Egypt

    Mohamed Torky & A. E. Hassanein

Authors
  1. Mohamed Torky
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. E. Hassanein
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mohamed Torky .

Editor information

Editors and Affiliations

  1. Cairo University, Giza, Egypt

    Aboul Ella Hassanien

  2. The British University in Dubai, Dubai, United Arab Emirates

    Khaled Shaalan

  3. Ain Shams University, Cairo, Egypt

    Mohamed Fahmy Tolba

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Torky, M., Hassanein, A.E. (2020). Orbital Petri Nets: A Petri Net Class for Studying Orbital Motion of Tokens. In: Hassanien, A., Shaalan, K., Tolba, M. (eds) Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2019. AISI 2019. Advances in Intelligent Systems and Computing, vol 1058. Springer, Cham. https://doi.org/10.1007/978-3-030-31129-2_57

Download citation

Publish with us

Policies and ethics

Search

Navigation