Skip to main content
Springer Nature Link
Log in

Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system

  • Conference paper
  • First Online:
Advances in Petri Nets 1984

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

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. CAVANNA B., DOLLE F., MOALLA H.: "Outils CAO pour l'Analyse, la Spécification et la Réalisation de l'Automatisation d'Equipements de Production Mécanique". 3ème Journées Scientifiques et Techniques de la Production Automatisée. TOULOUSE.

    Google Scholar 

  2. CHAMBADAL L, OVAERT J.: "Notions Fondamentales d'Algèbre et d'Analyse". Ed. GAUTHIER — VILLARS — PARIS.

    Google Scholar 

  3. JENSEN K.: "Coloured Petri Nets and the Invariant Method". Theoretical Computer Science 14. North Holland Publ. Co., pp. 317–336.

    Google Scholar 

  4. JENSEN K.: "How to Find Invariants for Coloured Petri Nets". Mathematical Foundations of Computer Science. Lecture Notes in Computer Science 118. Springer Verlag, BERLIN.

    Google Scholar 

  5. LAUTENBACH K., SCHMID H.A.: "Use of Petri Nets for Proving Correctness of Concurrent Process Systems". IFIP 74. North Holland Pub. Co. pp. 187–191.

    Google Scholar 

  6. MARTINEZ J., SILVA M.: "A Simple and Fast Algorithm to obtain all Invariants of a Generalised Petri Net". 2nd European Workshop on Petri Nets Theory and Applications (Bad Honnef, September 1981). Informatik Fachbeichte 52, Springer Verlag, BERLIN, pp. 301–310.

    Google Scholar 

  7. SILVA M.: "Simplification des Réseaux de Petri par Elimination de Places Implicites". Digital Processes, Vol. 6, n°4, pp. 245–256.

    Google Scholar 

  8. SILVA M., MARTINEZ J., LADET P., ALLA H.: "Generalised Inverses and the Calculation of Symbolic Invariants for Coloured Petri Nets". To be published in Technique et Science Informatique (TSI).

    Google Scholar 

  9. VALETTE R., COURVOISIER M., MAYEUX D.: "Control of Flexible Production Systems and Petri Nets". 3th European Workshop on Applications and Theory of Petri Nets. VARENNA, September, 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d'Automatique de Grenoble (Associé au C.N.R.S. L.A. no228), B.P. 46, 38402, Saint-Martin-d'Hères, France

    H. Alla & P. Ladet

  2. Depto Automatica — Escuela Tecnica Superior de Ingenieros Industriales, Zaragoza, Spain

    J. Martinez & M. Silva-Suarez

Authors
  1. H. Alla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Ladet
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Martinez
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. Silva-Suarez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alla, H., Ladet, P., Martinez, J., Silva-Suarez, M. (1985). Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system. In: Rozenberg, G. (eds) Advances in Petri Nets 1984. Lecture Notes in Computer Science, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15204-0_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-15204-0_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15204-0

  • Online ISBN: 978-3-540-39320-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics