Control of Flexible Production Systems and Petri Nets

  • R. Valette
  • M. Courvoisier
  • D. Mayeux
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 66)

Abstract

Low production cost requirements have developped a new trend to flexible production system automatization during these last years. Controllers are no longer isolated on a production machine, they are progressively interconnected with a transportation system and merged into an information system.

Keywords

Transportation Valette 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AND 81a.
    C. André, “Use of the behaviour equivalence in place-transition net analysis”, First European Workshop on Application and Theory of Petri nets, Strasbourg 1980.Google Scholar
  2. AND 81b.
    C. André, “Systèmes à évolutions parallèles: modélisation par réseau de Petri à capacité et analyse par abstraction”, Thèse de Doctorat d’Etat, Université de Nice, 1981.Google Scholar
  3. BER 79.
    G. Berthelot, G. Roucairol, R. Valk, “Reduction of nets and parallel programs”, Net Theory and Applications, Lecture Notes in Computer Science N°84, Springer Verlag, 1980.Google Scholar
  4. BOU 78.
    J. Boussin, “Synthesis and analysis of logic automation systems”, 7th IFAC World Congress, Helsinki, 1978.Google Scholar
  5. CAV 81.
    B. Cavanna, F. Dollé, M. Moalla, “Outils C.A.O. pour l’analyse, la spécification et la réalisation de lfautomatisation d’équipements de la production mécanique”, 3ème Journées Scientifiques et Techniques de la production automatisée, Toulouse, juin 1981.Google Scholar
  6. CIN 81.
    F. de Cindio, G. de Michelis, L. Pomello, C. Simone, “Superposed autòmata nets”, Second European Workshop on Application and Theory of Petri nets, Bad Honnef, 1981.Google Scholar
  7. DAD 76.
    L. Dadda, “The synthesis of Petri nets for controlling purposes and reduction of their complexity”, Euromicro 1976, North-Holland.Google Scholar
  8. LAN 78.
    L.H. Landweber, E.L. Robertson, “Properties of conflict-free and persistent nets”, Journal of the ACM, vol.25, n°3, july 1978, pp. 352–364.MathSciNetMATHCrossRefGoogle Scholar
  9. MAY 81.
    D. Mayeux, “Modélisation de la synchronisation des tâches dans un logiciel d’aide à la décision pour l’ordonnancement d’ateliers en temps réel”, Note Interne LAAS-PASTELS 81.1.10, mars 1981.Google Scholar
  10. MIL 80.
    Robin Milner, “A calculus of communicating systems”, Springer verlag, Lecture Notes in Computer Science, n°92, 1980.MATHGoogle Scholar
  11. SUZ 80.
    I. Suzuki, T. Murata, “Stepwise refinements of transitions and places”, First European Workshop on Application and Theory of Petri nets, Strasbourg, 1980.Google Scholar
  12. VAL 79.
    R. Valette, “Analysis of Petri nets by stepwise refinements”, J. of Compt. System Sci., vol.18, n°l, feb. 1979, pp. 35–46.MathSciNetMATHCrossRefGoogle Scholar
  13. VAL 81.
    R. Valette, “Spécification et validation de la synchronisation des tâches dans un atelier flexible de masticage”, Rapport partiel GIS-Atelier Flexible, Note Interne LAAS- PASTELS 81.1.38, oct. 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • R. Valette
    • 1
  • M. Courvoisier
    • 1
  • D. Mayeux
    • 1
  1. 1.Laboratoire d’Automatique et d’Analyse des Systèmes du C.N.R.SToulouseFrance

Personalised recommendations