High-Level Modelling of Cooperative Mobile Robot Systems | SpringerLink
Skip to main content
Springer Nature Link
Log in

High-Level Modelling of Cooperative Mobile Robot Systems

  • Conference paper
Distributed Autonomous Robotic Systems 6

Abstract

This paper concerns to the specification of interactive mobile robot systems. A Petri net based approach is held: The definition of nLNS, a multi-level net formalism handling nets and/or symbols as tokens is proposed. nLNS supports a modular and hierarchical modelling methodology that is presented through a case study regarding a mobile robot community evolving into a structured environment.

This work has been partially supported by CONACYT (project 41968-y)

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 22879
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 28599
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
JPY 28599
Price includes VAT (Japan)
  • 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Almeyda, H. I. (2002) “A three-level net system for the modelling of mobile agents”. MSc.Thesis (in Spanish). Cinvestav-IPN, Guadalajara, México, September

    Google Scholar 

  2. DiCesare, F. G. Harhalakis, J.M. Proth, M. Silva, F.B. Vernadat. (1993) “Practice of Petri Nets in Manufacturing”. Chapman & Hall.

    Google Scholar 

  3. Ferber, J. (1999) “Multi-Agent Systems. An introduction to Distributed Artificial Intelligence”. Addison-Wesley. UK.

    Google Scholar 

  4. FIPA ORG. (2002) “FIPA Contract Net Interaction Protocol Specification”. Document no. SC00029H.

    Google Scholar 

  5. Hiraishi K. (2000) “A Petri-net-based model for the mathematical analysis of multi-agent systems”. Proc. of the IEEE ICSMC, Nashville, Tennessee, USA. October.

    Google Scholar 

  6. Jensen, K. (1981) “Coloured Petri Nets and the Invariant Method”. Theoretical Computer Science Vol. 14 pp 317–336.

    Article  MATH  MathSciNet  Google Scholar 

  7. Kummer, O. (2001) “Introduction to Petri nets and Reference nets”. Sozionikaktuell 1, pp.7–16

    Google Scholar 

  8. Lakos C. (1995) “From Coloured Petri Nets to Object Petri Nets”. Proc. of 16th ICATPN, LNCS 935, pp 278–297, Torino, Italy, Springer-Verlag

    Google Scholar 

  9. Lomazova, I. (2000) “Nested Petri nets-a formalism for specification and verification of multi-agent distributed systems”. Fundamenta informaticae 43 pp. 195–214. IOS Press

    Google Scholar 

  10. López, E., H. Almeyda (2003) “A Three-Level Net Formalism for the Modelling of Multiple Mobile Robot Systems”. IEEE ICSMC, Washington, USA. Oct. pp.2733–2738

    Google Scholar 

  11. Sibertin-Blanc, C. (1994) “Cooperative Nets”. Proc. of the 15th International Conference on Application and Theory of Petri Nets, LNCS 815, Zaragoza, Spain. June

    Google Scholar 

  12. Valk, R. (1998) “Petri nets as token objects: an introduction to elementary object nets”. Proceedings of ICATPN, LNCS 1420 pp. 1–25, Springer-Verlag

    Google Scholar 

  13. Villanueva, N., E. López, H. Almeyda (2003). “Three-level Modelling of Batch Processes”. Proc. CESA 2003, Symposium on Discrete Events in Industrial and Manufacturing Systems. Lille, France, July

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CINVESTAV-IPN Unidad Guadalajara, Prol. Lopez Mateos Sur 590, 45090, Guadalajara, Jal, Mexico

    R. Sánchez-Herrera, N. Villanueva-Paredes & E. López-Mellado

Authors
  1. R. Sánchez-Herrera
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. N. Villanueva-Paredes
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. E. López-Mellado
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LAAS CNRS, 7 Avenue du Colonel Roche, 31077, Toulouse Cedex 4, France

    Rachid Alami Ph.D. (Senior Scientist) & Raja Chatila Ph.D. (Senior Scientist) (Senior Scientist) &  (Senior Scientist)

  2. Research into Artifacts, Center for Engineering, The University of Tokyo, 5-1-5 Kashiwanoha, Kashiwa, Chiba, 277-8568, Japan

    Hajime Asama Ph.D. (Professor) (Professor)

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer

About this paper

Cite this paper

Sánchez-Herrera, R., Villanueva-Paredes, N., López-Mellado, E. (2007). High-Level Modelling of Cooperative Mobile Robot Systems. In: Alami, R., Chatila, R., Asama, H. (eds) Distributed Autonomous Robotic Systems 6. Springer, Tokyo. https://doi.org/10.1007/978-4-431-35873-2_42

Download citation

  • DOI: https://doi.org/10.1007/978-4-431-35873-2_42

  • Publisher Name: Springer, Tokyo

  • Print ISBN: 978-4-431-35869-5

  • Online ISBN: 978-4-431-35873-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation