Advertisement

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

  • H. Alla
  • P. Ladet
  • J. Martinez
  • M. Silva-Suarez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 188)

Keywords

Flexible Manufacture System Incidence Matrix FIFO Queue Flexible Manufacturing System Modelling Queue Element 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [CAV 81]
    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. [CHA 66]
    CHAMBADAL L, OVAERT J.: "Notions Fondamentales d'Algèbre et d'Analyse". Ed. GAUTHIER — VILLARS — PARIS.Google Scholar
  3. [JEN 81a]
    JENSEN K.: "Coloured Petri Nets and the Invariant Method". Theoretical Computer Science 14. North Holland Publ. Co., pp. 317–336.Google Scholar
  4. [JEN 81b]
    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. [LAU 74]
    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. [MAR 82]
    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. [SIL 80]
    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. [SIL 84]
    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. [VAL 82]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • H. Alla
    • 1
  • P. Ladet
    • 1
  • J. Martinez
    • 2
  • M. Silva-Suarez
    • 2
  1. 1.Laboratoire d'Automatique de Grenoble (Associé au C.N.R.S. L.A. no228)Saint-Martin-d'HèresFrance
  2. 2.Depto Automatica — Escuela Tecnica Superior de Ingenieros IndustrialesZaragozaSpain

Personalised recommendations