Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Experiences in the use of galileo to design telecommunication systems

  • Conference paper
  • First Online:
Advances in Petri Nets 1988 (APN 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 340))

Included in the following conference series:

  • 138 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Net Theory and Applications. Proceeding of the Advanced Course on General Net Theory of Processes and System. Hamburg 1979. Lecture Notes in Computer Science. Volume 84, Springer Verlag Berlin 1980. Edited by W. Brauer.

    Google Scholar 

  2. Peterson, J.L: Petri Net Theory and the modelling of Systems. Prentice-Hall Series in computacional mathematics. 1980

    Google Scholar 

  3. Silva, M.: Las Redes de Petri en la Automatica y la Informatica. Editorial AC. Madrid 1985.

    Google Scholar 

  4. Reisig, W.: Petri Nets An Introduction. Monograph on Theoretical Computer Science Vol 4 Springer-Verlag 1985

    Google Scholar 

  5. Lopez, I.: Introduction to Petri Nets. Cod: 86-TR-84.01 Standard Electrica. S.A Madrid 1986

    Google Scholar 

  6. Vidondo F., Lopez I., Girod J.J.:GALILEO Design Method. Electrical Communication Vol 50, no. 4 1980.

    Google Scholar 

  7. Galileo Documentation: Cods: 86-TR-84.02, 86-TR-84.03, 86-TR-84.04, 86-TR-84.05, 86-TR-84.06, 86-TR-84.07 Standard Electrica S.A. Madrid 1986

    Google Scholar 

  8. Sanchez C.: Galileo model, language and tools. Electrical Communications, Vol. 60, no. 3–4, 1986.

    Google Scholar 

  9. Lopez I., Sanz A.: GALILEO. Advanced Course on Petri Nets. Bad Honneff, Germany Sept. 1986.

    Google Scholar 

  10. Nordic Mobile Telephone. Technical Specification NMT DOC.4.1981, System Description NMT DOC.1.1980.

    Google Scholar 

  11. Pelaez M. C.: Radio Movil Celular:Unidad de Control. Especificacion Funcional. Cod: 5GU 13901 Standard Electrica S.A. Madrid 1986 Internal Report (in Spanish)

    Google Scholar 

  12. Lopez I., Pelaez M.C.: Experiences in the use of GALILEO to Design Telecommunication systems. Doc. Cod: 86-TR-84.13 Dec 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centro de Investigacion y Desarrollo Alcatel Standard Electrica S.A., c/ Ramirez de Prado 5, 28045, Madrid, Spain

    Ignacio Lopez & M. Carmen Pelaez

Authors
  1. Ignacio Lopez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Carmen Pelaez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lopez, I., Pelaez, M.C. (1988). Experiences in the use of galileo to design telecommunication systems. In: Rozenberg, G. (eds) Advances in Petri Nets 1988. APN 1987. Lecture Notes in Computer Science, vol 340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50580-6_34

Download citation

  • DOI: https://doi.org/10.1007/3-540-50580-6_34

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50580-8

  • Online ISBN: 978-3-540-46059-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation