Skip to main content
SpringerLink
Log in

Petri nets and flexible manufacturing

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

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

Included in the following conference series:

Abstract

The aim of this invited survey is to introduce Computer science/Petri nets specialists to the basic system level issues brought up by the development of Flexible Manufacturing and how Petri nets are used to aid the production engineers in their work. After some terminology concerning production engineering, the hierarchical decision and control level is briefly reviewed. Finally, the role and the presence of nets in CAE (Computer Aided Engineering) and in CAM (Computer Aided Manufacturing) for FMSs (Flexible Manufacturing Systems) are considered. From the design point of view, the use of nets have many advantages in modeling, qualitative analysis, performance evaluation and code generation. From the control of the plant perspective, scheduling on nets models, the coordination of the plant (global and partial) and the presence of nets in the local control level are discussed.

Petri nets theory presents a relatively mature body, nevertheless efficient performance evaluation (even for P/T net models) and qualitative analysis of high-level net models still requires important developments. Moreover, the impression that the Petri net newcomer may have looking at the many variants of high-level-nets formalisms may initially produce some kind of rejection. In any case, it is our opinion that Petri nets appears as a key formalism to describe, analyze and implement the control of FMSs. The merging of Petri nets and knowledge based techniques seems to be very promising to deal with large complex discrete event dynamic systems such as FMSs.

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.

6 References

6.1 References on general notions in manufacturing systems

  1. J.S. Albus, A.J. Barbara, R.N. Nagel: Theory and practice of hierarchical control. Proc. of 23rd IEEE Computer Society Int. Conf. (September).

    Google Scholar 

  2. J.S. Albus, C. Maclean, A.J. Barbara, M. Fitzgerald: An architecture for real-time control in a manufacturing facility. IFAC Conference on Information control problems in manufacturing technology, Maryland, USA.

    Google Scholar 

  3. S. Axsater: Aggregation of Product Data for Hierarchical Production Planning. Operations Research, Vol 29, No 4.

    Google Scholar 

  4. E. Balas: Machine sequencing via disjunctive graphs: an implicit enumeration algorithm, Oper. Res. 17 No 6.

    Google Scholar 

  5. K.E. Baldwin: Autonomous Manufacturing Systems. IEEE International Symposium on Intelligent Control, Albany N.Y., August, pp.214–220.

    Google Scholar 

  6. J. Banks and J.S. Carson: 1984 Discrete-event system simulation. Prentice-Hall, Englewood Cliffs, New Jersey.

    Google Scholar 

  7. G. Bel, E. Bensana, D. Dubois: Un système d'ordonnancement prévisionnel d'atelier utilizant des connaissances théoriques et pratiques. Les systèmes experts et leurs applications. Avignon.

    Google Scholar 

  8. G. Bel, E. Bensana, D. Dubois, J. Erschler, P. Esquirol, A multi-knowledge-based approach to industrial job-shop scheduling, Expert System design and management of Manufacturing Systems, Taylor and Francis Edition, p. 207–246.

    Google Scholar 

  9. E. Bensana, M. Corrège, G. Bel, D. Dubois: An expert system approach to industrial job-shop scheduling. IEEE International Conference on Robotics and Automation, San Francisco, April.

    Google Scholar 

  10. G.R. Bitran, A.C. Hax: 1977 On the Design of Hierarchical Production Planning Systems. Decision Sciences, Vol 8, No 1, pp. 28–54.

    Google Scholar 

  11. G.R. Bitran, E.A. Haas, A.C. Hax: 1982 Hierarchical production planning: a two stage system. Operations research, Vol 30, No 2, pp. 231–251.

    Google Scholar 

  12. G. Bruno, A. Elia, P. Laface: 1986 A Rule-Based System to Schedule Production. Computer. Vol 19, No 7, pp. 32–39.

    Google Scholar 

  13. E.S. Buffa, J.G. Miller: Production-Inventory Systems: Planning and Control, Richard D. Irwin Inc. 1968–1972–1979.

    Google Scholar 

  14. J.A. Buzacott, D.D. Yao: Flexible manufacturing systems: a review of analytical models. Management Science, Vol 32, No 7, July, pp. 890–905.

    Google Scholar 

  15. J. Carlier et Ph. Chretienne: Problèmes d'Ordonnancement. Modelisation, complexité et algorithmes. Masson, Paris.

    Google Scholar 

  16. J.N. Daigle, A. Seidmann and J.R. Pimentel: Special issue on Manufacturing Networking. IEEE Network, Vol 2, No 3, May.

    Google Scholar 

  17. W. Davis, A. Jones: 1988 A Real-time Production Scheduler for a Stochastic Manufacturing Environment. International Journal of Computer Integrated Manufacturing, Vol 1, No 2, pp.101–112.

    Google Scholar 

  18. W. Davis, A. Jones: 1989 A functional approach to designing architectures for CIM. IEEE transactions on Systems, Man, and Cybernetics, Vol 19, No 2, April, pp.164–174.

    Google Scholar 

  19. Erschler J., Fontan G., Roubellat F., Potentiels sur un graphe non conjonctif et analyse d'un problème d'ordonnancement à moyens limités, RAIRO, 13 No 4.

    Google Scholar 

  20. J. Erschler, F. Roubellat, V. Thomas: Real-time Production Scheduling for Parts with Limit Times. TIMS/ORSA Joint National Meeting, Los Angeles, April.

    Google Scholar 

  21. J. Erschler, P. Esquirol: Decision-aid in job-shop scheduling: a knowledge based approach. IEEE International Conference on Robotics and Automation San Francisco, April.

    Google Scholar 

  22. J. Erschler, G. de Tersac: Flexibilité et rôle de l'opérateur humain dans l'automatisation intégrée de production. Rapport LAAS No 88137, March.

    Google Scholar 

  23. J.B. Evans: Structures of discrete event simulation: An introduction to the engagement strategy. Ellis Horwood Limited Chichester.

    Google Scholar 

  24. M. Fox: Constraint-Directed Search: A Case Study of Job Shop Scheduling. Ph.D. Diss. Computer Science Dept. Carnegie-Mellon University, Pittsburg.

    Google Scholar 

  25. S. French: Sequencing and Schedulig: An introduction to the Mathematics of the Job-Shop. Ellis-Horwood, Chichester.

    Google Scholar 

  26. S.B. Gershwin: 1989 Hierarchical Flow Control: a Framework for Scheduling and Planning Discrete Events in Manufacturing Systems. IEEE Proceedings Special Issue on Discrete Event Systems, Vol 77, No 1, January, pp. 195–209.

    Google Scholar 

  27. General Motors: Manufacturing Automation Protocol (MAP), a communication network for Open Systems Interconnection (OSI), Document specification, February.

    Google Scholar 

  28. S.C. Graves: 1981 A review of production scheduling. Operations Research, Vol 29, No 4, July–August, pp. 646–675.

    Google Scholar 

  29. I. Ham, K. Hitami, T. Yoshida: 1985 Group technology applications in production management. Kluwer Publishing Company, Boston MA.

    Google Scholar 

  30. J. Hatvany: 1985 Intelligence and Cooperation in Heterarchical Manufacturing Systems. Robotics and Computer Integrated Manufacturing, Vol 2, No 2, pp.101–104.

    Google Scholar 

  31. K.M. Inan, P.P. Varaiya: 1989 Algebras of Discrete Event Models. IEEE Proceedings Special Issue on Discrete Event Systems, Vol 77, No 1, January, pp. 24–38.

    Google Scholar 

  32. A. Jones, N. Whitt (Eds): Proceedings on Factory Standards Model Conference. National Bureau of Standards, Gaithersburg, Maryland, USA.

    Google Scholar 

  33. A. Jones, A. Saleh: A decentralized Control Architecture for Computer Integrated Manufacturing Systems, IEEE International Symposium on Intelligent Control, Albany N.Y., August, pp.44–49.

    Google Scholar 

  34. M.G. Ketcham, R.E. Shannon, G.L. Hogg: Information structures for simulation modeling of manufacturing systems. Simulation, February, pp.59–67.

    Google Scholar 

  35. W. Kreutzer: 1986 System simulation. Programming styles and languages. Addison-Wesley, Sidney.

    Google Scholar 

  36. K.N. McKay, J.A. Buzacott and F.R. Safayeni: The Scheduler's Information System: What is going on? Insights for Automated Environments. IFAC Symp. on Control Problems in Manufacturing Technology, INCOM'89, Madrid, September, pp. 405–409.

    Google Scholar 

  37. P.J. O'Grady, U. Menon: A Concise Review of Flexible Manufacturing Systems and FMS Literature. Computers in Industry, Vol 7.

    Google Scholar 

  38. J. Orlicky: 1975 Materials requirement planning. McGraw Hill, New York.

    Google Scholar 

  39. S.S. Panwalkar and W. Iskandar: 1977 A survey of scheduling rules. Operations Research, Vol 25, No 1, pp. 45–61.

    Google Scholar 

  40. Parallax: 1986 When is Pull Better than Push? International Journal of Parallel Programming, Vol 15, No 2, pp. 185–188.

    Google Scholar 

  41. C.D. Pegden: 1986 Introduction ot SIMAN. Systems Modeling Corporation, Pennsylvania.

    Google Scholar 

  42. R. Peterson, E.A. Silver: Decision Systems for Inventory Management and Production Planning. John Wiley and Sons.

    Google Scholar 

  43. A.A.B. Pritsker and C.D. Pegden: 1979a Introduction to Simulation and SLAM. John Wiley, New York.

    Google Scholar 

  44. A.A.B. Pritsker: 1979b Modeling and Analysis using Q-GERT Networks. John Wiley, New York.

    Google Scholar 

  45. P.J.G. Ramadge, W.M. Wonham: 1989 The control of discrete event systems. IEEE Proceedings (Special Issue on Discrete Event Systems), Vol 77, No 1, January, pp. 81–98.

    Google Scholar 

  46. B.J. Schroer, J.T. Black, S.X. Zhang: Just-In-Time with Kanban, Manufacturing System Simulation on a Microcomputer. Simulation, Vol 45, No 2, August, pp. 62–70.

    Google Scholar 

  47. Y. Sugimori, K. Kusunoki, F. Cho, S. Uchikawa: 1974 Toyota production system and Kanban system: Materialization of just-in-time and respect-for-human system. International Journal of Production Research, Vol 15, pp. 553–564.

    Google Scholar 

  48. R.W. Yeomans, A. Choudry, P.J.W. Ten Hagen: Design rules for a CIM system. North Holland.

    Google Scholar 

6.2 Some references concerning Petri nets

  1. M. Ajmone et al.: 1989 The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Transactions on Software Engineering, Vol 15, No 7, July, pp. 832–846.

    Google Scholar 

  2. G.W. Brams: 1983 Reseaux de Petri: Theorie et pratique (2 tomes). Masson, Paris.

    Google Scholar 

  3. W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets (2 vol). Advances in Petri Nets'86, LNCS 254 and 255. Springer-Verlag.

    Google Scholar 

  4. J. Campos, G. Chiola, J.M. Colom, M. Silva: Tight polynomial bounds for steadystate performance of marked graphs. IEEE Workshop on Petri Nets and Performance Models, PNPM'89, Kyoto, December, pp. 200–209.

    Google Scholar 

  5. J. Campos, M. Silva: Steady-State performance evaluation of totally open systems of markovian sequential processes. IFIP Conference on Decentralized Systems (C. Girault, ed.). Elsevier (North Holland).

    Google Scholar 

  6. J. Carlier, Ph. Chretienne, J.C. Girault: 1985 Modelling scheduling problems with timed Petri Nets. Advances in Petri Nets'84 (G. Rozenberg, ed.), LNCS 188, Springer-Verlag, Berlin, pp. 62–82.

    Google Scholar 

  7. J. Carlier, Ph. Chretienne: 1988a Timed Petri net schedules. Advances in Petri Nets'88 (G. Rozenberg ed.), LNCS 340, Springer-Verlag, Berlin, pp. 62–84.

    Google Scholar 

  8. L. Castellano, G. DeMichelis, L. Pomello: Concurrency vs Interleaving: An Instructive Example. Bull. EATCS 31, pp. 12–15.

    Google Scholar 

  9. G. Chiola: A graphical Petri net tool for performance analysis. 3rd Int. Workshop on Modeling Techniques and Performance Evaluation, AFCET, March, Paris.

    Google Scholar 

  10. Ph. Chretienne: Timed Event Graphs: a Solution to the Minimum Reachability Time between two States. Journal of Systems and Software. Vol 6, No 1 and 2.

    Google Scholar 

  11. C. Dutheillet, S. Haddad: Regular stochastic Petri Nets. 10th. Int. Conf. on Applications and Theory of Petri Nets. Bonn, June.

    Google Scholar 

  12. G. Florin, S. Natkin: Solutions en forme produit matricielle pour les réseaux de files d'attente synchronisées fermées monovaluées. IEEE Workshop on Petri Nets and Performance Models, PNPM'89, Kyoto, December.

    Google Scholar 

  13. M.H.T. Hack: Analysis of production schemata by Petri nets. Master of Science Dissertation Thesis, MIT, February.

    Google Scholar 

  14. J. Magott: 1987 New NP-Complete problems in Performance evaluation of Concurrent Systems Using Petri Nets. IEEE Trans. on Software Engineering, Vol SE-13, No 5, May, pp. 578–181.

    Google Scholar 

  15. T. Murata: 1989 Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, Vol 77, No 4, April, pp. 541–580.

    Google Scholar 

  16. C.V. Ramamoorthy and G.S. Ho: 1980 Performance evaluation of asynchronous concurrent systems using Petri nets. IEEE Trans. on Software Engineering, Vol SE-6, No 5, September, pp. 440–449.

    Google Scholar 

  17. M. Silva: Las redes de Petri en la Automática y la Informática. Ed. AC, Madrid.

    Google Scholar 

  18. M. Silva: Towards a Synchrony theory for P/T nets. Concurrency and Nets (K. Voss et al., eds). Springer-Verlag, pp. 435–460.

    Google Scholar 

  19. M. Silva, J.M. Colom: 1988 On the Computation of Structural Synchronic Invariants in P/T nets. Advances in Petri Nets (G. Rozenberg, ed.) LNCS, No 340, Springer-Verlag, Berlin, pp. 386–417.

    Google Scholar 

  20. D. Taubner: 1988 On the implementation of Petri nets. Advances in Petri Nets'88 (G. Rozenberg, ed.), LNCS 340, pp. 418–439.

    Google Scholar 

  21. R. Valette, M. Diaz: 1978 Top-down formal specification and verification of parallel control systems. Digital Processes, Vol 4, No 3, pp. 181–189.

    Google Scholar 

  22. R. Valette: 1979 Analysis of Petri nets by stepwise refinements. Journal of Computer and System Sciences, Vol 18, No 1, February, pp. 35–46.

    Google Scholar 

  23. M. Vernon, J. Zahorjan and E.D. Lazowska: A comparaison of Performance Petri Nets and queueing network models. 3rd Int. Workshop on Modelling Techniques and Performance Evaluation. Paris, March.

    Google Scholar 

6.3 References related to FMS and Petri nets

  1. P. Alanche, K. Benzakour, F. Dolle, P. Gillet, P. Rodrigues, R. Valette: PSI: a Petri net based simulator for flexible manufacturing systems. Advances in Petri nets 1984, LNCS 188. Springer Verlag, pp. 1–14.

    Google Scholar 

  2. M. Albarran: Realization of sequencers through parallel flow control graphs. IFACIFIP SOCOCO'86 (Software for Computer Control) Graz, May, pp.237–241.

    Google Scholar 

  3. R. Y. Al-Jaar, A.A. Desrochers: 1988a A survey of Petri nets in automated manufacturing systems. IMACS World Congress Vol 2, Paris, June, pp. 503–510.

    Google Scholar 

  4. R. Y. Al-Jaar, A.A. Desrochers: A modular approach for the performance analysis of automated manufacturing systems using generalized stochastic Petri nets. Research report, Rensselaer Polytechnic Institute.

    Google Scholar 

  5. H. Alla, P. Ladet, J. Martinez, M. Silva: Modeling and validation of complex systems by coloured Petri nets, Application to a FMS. Advances in Petri Nets 1984, LNCS 188 Springer Verlag, pp.15–31.

    Google Scholar 

  6. H. Alla, P. Ladet, F. Martin, J. Martínez, M. Silva: Specification de la commande des Ateliers Flexibles à l'aide de réseaux de Petri colorés. Journées d'Etudes: Méthodes et outils modernes de conception et d'exploitation de la commande des procédés continus complexes. Montpellier (France), May, pp. 85–96.

    Google Scholar 

  7. H. Alla, P. Ladet: Coloured Petri nets: a tool for modeling validation and simulation of FMS. Flexible Manufacturing Systems: methods and studies, ed. by A. Kusiak. Elsevier Science Publishers (North Holland).

    Google Scholar 

  8. H. Alla, R. David: Modelling of production systems by continuous Petri Nets. 3rd Int. Conf. on CAD/CAM Robotics and Factories of the Future. Southfield (USA), August.

    Google Scholar 

  9. H. Atabakhche, D.S. Barbalho, R. Valette, M. Courvoisier: From Petri net based PLCs to knowledge based control. International Conference on Industrial Electronics, Control and Instrumentation, IECON 86. Milwaukee, Wisconsin, Sept. 29–Oct 3, pp.817–822.

    Google Scholar 

  10. G. Balbo et al.: Generalized stochastic Petri nets for the performance evaluation of FMS. IEEE Int. Conference on Robotics and Automation. Raleigh, April, pp. 1013–1018.

    Google Scholar 

  11. C. L. Beck, B.H. Krogh: Models for simulation and discrete control of manufacturing systems. IEEE International Conference on Robotics and Automation. San Francisco, California, pp.305–310.

    Google Scholar 

  12. R. Berchi, G. Frosi: Design of the material handling system for a MFG line. AIRO Workshop Coordination Management by Means of Petri Nets. Modena, Italy, April.

    Google Scholar 

  13. M. Blanchard: Automatismes logiques: Grafcet ou réseau de Petri? Le Nouvel Automatisme, Mai, pp. 45–52.

    Google Scholar 

  14. J.P. Bourey, D. Corbeel, E. Craye, J.C. Gentina: 1987a Utilisation des réseaux de Petri structurés adaptatifs colorés dans l'analyse et la synthèse du contrôle hiérarchisé de processus discontinus: les modèles de description. RAIRO APII, Vol 21, No 4, Juillet, pp. 343–362.

    Google Scholar 

  15. A. Bourjault, D. Chappe, J.M. Henrioud: Elaboration automatique des gammes d'assemblage a l'aide des Réseaux de Petri. Revue APII, Vol 21, No 6, pp. 323–342.

    Google Scholar 

  16. J.P. Bourrieres, A. Chevillard: Modélisation des convoyeurs à transfert libre à l'aide des Réseaux de Petri. Revue RAPA, Vol 1 No 4.

    Google Scholar 

  17. M. Bruns, H. Rake: Methods and tools for the development of software for complex realtime systems. IFAC/IFIP SOCOCO'86 (Software for Computer Control). Graz, May, pp.231–236.

    Google Scholar 

  18. G. Bruno, P. Biglia: Performance evaluation and validation of tool handling in Flexible Manùfacturing Systems using Petri Nets. IEEE Int. Workshop on Timed Petri Nets, Torino, July, pp. 64–71.

    Google Scholar 

  19. G. Bruno, A. Balsamo: Petri net based object oriented modelling of distributed systems. Object Oriented Programming Systems Language and Applications, OOPSALA'86. September, pp. 284–293.

    Google Scholar 

  20. G. Bruno, G. Marchetto: 1986b Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. Software Eng., Vol SE-12, No 2, February, pp. 346–357.

    Google Scholar 

  21. G. Bruno, M. Morisio: Petri net based simulation of manufacturing cells. IEEE International Conference on Robotics and Automation. Raleigh, NC, pp.1174–1179.

    Google Scholar 

  22. J. Cardoso, R. Valette, D. Dubois: Petri nets with uncertain markings. 10th International Conference on Application and Theory of Petri Nets, Bonn, June, pp. 35–51.

    Google Scholar 

  23. E. Castelain, D. Corbeel, J.C. Gentina: 1987 Apport de l'intelligence artificielle dans la réalisation d'un simulateur de réseaux de Petri adaptatifs colorés: application à la validation de la commande des processus industriels. RAIRO APII, Vol 21, No 4, Juillet, pp. 363–375.

    Google Scholar 

  24. E. Castelain, J.P. Bourey, E. Craye, J.C. Gentina: Introduction to a central tool in the design chain of the model of the control system and in the predemensionment step of flexible manufacturing cells. IEEE International Symposium on Intelligent Control, Albany N.Y., September, pp.221–226.

    Google Scholar 

  25. E. Castelain, J.P. Bourey and J.C. Gentina: Prototyping of FMS from the Design of a Pregraph Based on Some Extended Petri-Nets. 6th IFAC Symp. on Information Control Problems in Manufacturing Technology, INCOM'89. Madrid, September, pp. 437–442.

    Google Scholar 

  26. B. Cavanna, F. Dolle, M. Moalla: Outils C.A.O. pour l'analyse, la spécification et la réalisation de l'automatisation d'équipements de production mécanique. 3e Journées Scientifique et Techniques de l'ADEPA. Toulouse France, Juin.

    Google Scholar 

  27. D. Chocron, E. Cerni: A Petri net based industrial sequencer. IEEE International Conference and Exhibition on Industrial Control and Instrumentation. March 1980, pp.18–22.

    Google Scholar 

  28. G. Cohen, D. Dubois, J.P. Quadrat, M. Viot: 1985 A linear system theoretic view of discrete event processes and its use for performance evaluation in manufacturing. IEEE Transactions on Automatic Control, Vol AC-30, No 3, March, pp.210–220.

    Google Scholar 

  29. G. Cohen, P. Moller, J.P. Quadrat, M. Viot: Algebraic Tools for the Performance Evaluation of Discrete Event Systems. Proceedings of the IEEE, Vol. 77, No 1, January, pp. 39–58.

    Google Scholar 

  30. J.M. Colom, M. Silva, J.L. Villarroel: On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. 7th European Workshop on Application and Theory of Petri nets Oxford, July, pp.207–241.

    Google Scholar 

  31. J.M. Colom, J. Martínez, M. Silva: Packages for validating discrete production systems modeled by Petri nets. Applied Modeling and Simulation of Technological Systems (P. Borne and S. Tzafestas eds.). North Holland Publishers, pp.529–536.

    Google Scholar 

  32. D. Corbeel, J.C. Gentina, C. Vercauter: Application of an extension of Petri nets to modelization of control and production processes. 6th European Workshop on Applications and Theory of Petri nets. Espoo, Finland, June, pp. 53–74.

    Google Scholar 

  33. M. Courvoisier, R. Valette, JM. Bigou, P. Esteban: A programmable logic controller based on a high level specification tool. IEEE Annual Conference on Industrial Electronics, IECON 83. San Francisco, USA November, pp. 174–179.

    Google Scholar 

  34. D. Crockett, A. Desrochers, F. DiCesare, T. Ward: Implementation of a Petri net controller for a machining workstation. Proceedings of the IEEE Conference on Robotics and Automation. Raleigh, NC, March 30th-April 3, pp.1861–1867.

    Google Scholar 

  35. R. David, H. Alla: Continuous Petri Nets. 8th European Workshop on Application and Theory of Petri Nets. Zaragoza, June, pp. 275–294.

    Google Scholar 

  36. R. David et H. Alla: 1989 Du Grafcet aux Réseaux de Petri. Hermes, Paris.

    Google Scholar 

  37. A. DiLeva, P. Giolito: High-level Petri nets for production system modelling. 8th European Workshop on Application and Theory of Petri nets. Zaragoza, Spain, June, pp. 381–386.

    Google Scholar 

  38. M. DiMascolo, Y. Frein, Y. Dallery, R. David: Modeling of Kanban Systems using Petri Nets. 3 ORSA/TIMS Conference on Flexible Manufacturing Systems (Ed. K. Stecke and R. Suri). Elsevier Science Publishers, pp.307–312.

    Google Scholar 

  39. D. Dubois, K. Stecke: Using Petri nets to represent production processes. 22nd IEEE Conference on Decision and Control San Antonio, Texas, pp.1062–1067.

    Google Scholar 

  40. D. D. Dubois and K. Stecke: Dynamic Analysis of repetitive decision-free discrete event processes: (I) The algebra of Timed Marked Graphs; (II) Algorithmic issues and application to production systems. Graduate School of Business Administration University of Michigan, Working papers 542 and 543.

    Google Scholar 

  41. D. Dubois: A flexible workshop design and optimization using SEDRIC: A Petri net simultor. 10th Int. Conf. on Application and Theory of Petri Nets. Bonn, June, pp.

    Google Scholar 

  42. J. Favrel and K.H. Lee: Modelling, analyzing, scheduling and control of Flexible Manufacturing Systems by Petri Nets. Modelling Production Management Systems (P. Falster and R.B. Mazunder, eds.). Elsevier Science Publ., pp. 223–243.

    Google Scholar 

  43. H. Fleischack, A. Weber: Rule-based programming, Predicate/transition nets and the modeling of office procedures and flexible manufacturing systems. 10th International Conference on Application and Theory of Petri Nets. Bonn, June.

    Google Scholar 

  44. P. Freedman, A. Malowany: Sequencing Tasks within a Robotics Workcell: from feasibility to optimality. IEEE Pacific Rim Conf., Victoria, B.C., June.

    Google Scholar 

  45. P. Freedman, A. Malowany: The Analysis and Optimization of Repetition within Robot Workcell Sequencing Problems. IEEE Int. Conf. on Robotics and Automation. Philadelphia, Penn., April.

    Google Scholar 

  46. P. Freedman, A. Malowany 1988b: SAGE: A Decision Support System for the Sequencing of Operations within a Robotics Workcell, it Decision Support Systems, Elsevier Science (North Holland), Vol 4, pp. 329–343.

    Google Scholar 

  47. P. Freedman: Characterizing Repetition in Workcell Applications and the Implications for Sequence Optimization. 4th Int. Conference on Advanced Robotics. Columbus, Ohio, June.

    Google Scholar 

  48. J.C. Gentina and D. Corbeel: Coloured Adaptive Structured Petri Net: A tool for the Automatic Synthesis of Hierarchical Control of Flexible Manufacturing Systems. In [SILV 87b], pp. 1166–1173.

    Google Scholar 

  49. J.C. Gentina (organizer): Invited sessions: Application of Petri Nets to Flexible Manufacturing. 12th IMACS World Congress. Paris, pp. 479–561.

    Google Scholar 

  50. E. Grötsch: 1986 Graphische Programmieroberflächen für Steurungssysteme. Automatisierungstechnische Praxis atp, Vol 28, No 1, pp. 27–31.

    Google Scholar 

  51. K. Hasegawa, H. Ohno: On programming of conventional programmable controller by using mark flow graph. IEEE ISCAS, Kyoto Japon, June, pp.933–936.

    Google Scholar 

  52. M. Hasegawa, Y. Sakaue: Programming system for work cell. IEEE International Conference on Industrial Electronics, IECON 86. Milwaukee, WI, USA, Sept 29-Oct 3, pp. 443–448.

    Google Scholar 

  53. K. Hasegawa, K. Takahashi, P. E. Miyagi 1988: Application of the mark flow graph to represent discrete event production systems and system control. Trans. of the Society of Intrument and Control Engineers (SICE Japan) Vol 24, No 1, January, pp.69–75.

    Google Scholar 

  54. H. Hillion: Timed Petri Nets and Application to Multi-Stage production systems. 9th European Workshop on Applications and Theory of Petri Nets. Venice, pp. 164–182.

    Google Scholar 

  55. H. P. Hillion, J. Proth 1989: Performance evaluation of job-shop systems using timed event-graph. IEEE Trans. on Automatic Control, Vol 34, No 1, January 1989, pp. 3–9.

    Google Scholar 

  56. A. Hoermann: A Petri net based control architecture for a multi-robot system. IEEE International Symposium on Intelligent Control, Albany N.Y., September, pp.493–498.

    Google Scholar 

  57. D. Hollinger 1985: Utilisation pratique des réseaux de Petri dans la conception des systèmes de production. TSI (Technique et Science Informatique), Vol 4, No 6, pp. 509–522.

    Google Scholar 

  58. A. Horns: Job Shop control under influence of Chaos Phenomena. IEEE International Symposium on Intelligent Control. Albany N.Y., September, pp.227–232.

    Google Scholar 

  59. M. Kamath, N. Viswanadham: Applications of Petri net based models in the modelling and analysis of flexible manufacturing systems. Proceedings of the IEEE Conference on Robitics and Automation. San Francisco, California, pp.312–317.

    Google Scholar 

  60. N. Komoda, K. Kera, T. Kubo: An autonomous, decentralized control system for factory automation. Computer, December, pp.73–84.

    Google Scholar 

  61. N. Komoda, T. Murata. K. Matsumoto: Petri net based controller: SCR and its applications in factory automation. IEEE ISCAS, Kyoto, Japon, June, pp. 937–940.

    Google Scholar 

  62. F. Martin, H. Alla: Discrete event simulation by timed Coloured Petri nets. 3rd International Conference on Advances in Production Management Systems. August.

    Google Scholar 

  63. F. Martin, H. Alla: Timed Coloured Petri Nets: A simulation Tool for Complex discrete systems. 3rd Int. Conf. on Advances in Production Management Systems. Winnipeg, Monitoba, August.

    Google Scholar 

  64. J. Martínez, M. Silva: A package for computer design of concurrent logic control systems. IFAC/IFIP SOCOCO (E.A. Puente and G. Ferrate eds.). Pergamon Press, pp. 243–248.

    Google Scholar 

  65. J. Martínez, M. Silva: A language for the description of concurrent systems modelled by coloured Petri nets: application to the control of flexible manufacturing systems. Languages for Automation (S-K Chang ed.). Plenum Publishing Co., pp. 369–388.

    Google Scholar 

  66. J. Martínez, M. Silva: Nuevos métodos para la especificación del control de sistemas flexibles de fabricación. Automática e Instrumentación, No 156, pp.185–195.

    Google Scholar 

  67. J. Martínez, H. Alla, M. Silva: Petri nets for the specification of FMSs. Modeling and Design of Flexible Manufacturing Systems (A. Kusiak, ed.). Elsevier Science Pub. pp.389–406.

    Google Scholar 

  68. J. Martínez, P. Muro, M. Silva: Modelling, validation and software implementation of production systems using high level Petri nets. IEEE Conference on Robotics and Automation. Raleigh, NC, March 30th–April 3, pp.1180–1185.

    Google Scholar 

  69. J. Martínez, P.R. Muro, M. Silva, S.F. Smith, J.L. Villarroel 1988: Merging artificial intelligence techniques and Petri nets for real-time scheduling and control of production systems. 12th IMACS World Congress on Scientific Computation. Paris, July, Vol 3, pp. 528–531.

    Google Scholar 

  70. R. Masuda, K. Hasegawa: Mark flow graph and its application to complex sequential control system. 13th Hawai Int. Conf. System Science. Hawai, pp.194–203.

    Google Scholar 

  71. A. Merabet: Synchronization of operations in a flexible manufacturing cell: the Petri net approach. Journal of manufacturing systems, Vol 5, No 3, pp. 161–169.

    Google Scholar 

  72. A. Micovsky, L. Sesera, M. Veishab, M. Albert: TORA The language of the system for rapid prototyping of discrete processes control systems Artificial Intelligence and Information-Control Systems of Robots 89, Elsevier Science Publishers p.315–318.

    Google Scholar 

  73. P. E. Miyagi, K. Hasegawa, K. Takahashi 1988: A programming language for discrete event production systems based on production flow schema and mark flow graph. Trans. of the Society of Intrument and Control Engineers (SICE Japan) Vol 24, No 2, February, pp.77–84.

    Google Scholar 

  74. M. Moalla 1985: Réseaux de Petri interprétés et Grafcet. T.S.I. (Technique et Science Informatique), Vol 4, No 1, Ed. Dunod.

    Google Scholar 

  75. T. Murata, N. Komoda, K. Matsumoto 1984: A Petri net based factory automation controller for flexible and maintainable control specification. IEEE Annual Conference on Industrial Electronics, IECON 84, pp. 362–366.

    Google Scholar 

  76. T. Murata, N. Komoda, K. Matsumoto 1986: A Petri net based controller for flexible and maintainable sequence control and its applications in factory automation. IEEE Transactions on Industrial Electronics, Vol IE-33, No 1, February, pp.1–8.

    Google Scholar 

  77. P. Muro, J.L. Villarroel, J. Martínez, M. Silva: A knowledge representation environment for manufacturing control system design and prototyping. 6th IFAC-IFORS-IMACS Symposium on Information Control Problems in Manufacturing Technology. Madrid, September, pp. 585–590.

    Google Scholar 

  78. Y. Narahari, N. Viswanadham 1985b: A Petri net approach to the modelling and analysis of flexible manufacturing systems. Annals of Operations Research, Vol 3, pp. 449–472.

    Google Scholar 

  79. Y. Narahari, N. Viswanadham: Coloured Petri net models for generalized flexible manufacturing systems. 7th European Workshop on Application on Theory of Petri Nets. Oxford June–July, pp. 243–263.

    Google Scholar 

  80. R. Ravichandran and A.K. Chakravarty 1986: Decision Support in Flexible Manufacturing Systems Using Timed Petri Nets. Journal of Manufacturing Systems Vol 5, No 2, pp. 89–101.

    Google Scholar 

  81. A. Sahraoui, H. Atabakhche, M. Courvoisier, R. Valette: Joining Petri nets and knowledge based systems for monitoring purposes. IEEE International Conference on Robotics and Automation, Raleigh, NC, pp.1160–1165.

    Google Scholar 

  82. M. Silva, R. David 1979: Synthèse programmé des automatismes logiques décrits par réseaux de Petri: Une méthode de mise en oeuvre sur microcalculateurs. Rairo-Automatique, Vol 13, No 4, November, pp. 369–393.

    Google Scholar 

  83. M. Silva, S. Velilla: Programmable Logic Controllers and Petri nets: a comparative study. IFAC Conference on Software for Computer Control (E.A. Puente and G. Ferrate eds.). Pergamon Press, pp. 83–88.

    Google Scholar 

  84. M. Silva, J. Martínez: A software environment for system design with HLPN and their implementations. Int. Seminar on Applicability of Petri nets to Operation Research. Milano (Italy), May, pp.95–127.

    Google Scholar 

  85. M. Silva and T. Murata (organizers): Invited sessions: Petri Nets and Flexible Manufacturing. IEEE Int. Conf. on Robotics and Automation. Raleigh, pp. 999–1018 and 1160–1185.

    Google Scholar 

  86. M. Silva 1989: Logic Controllers. IFAC Int. Symp. on Low Cost Automation, Milano, November, Vol II, pp. 157–165bis.

    Google Scholar 

  87. H. K. Tönshoff, A. Horns: Petri-Netze als spezielle Inferenz-systeme und ihre Anwendung in der Werkstattsteurung und simulation. IPA-IAO Forschung und Praxis T6 Produktionsplanung, Produktionssteuerung in der CIM-Realisierung. Springer Verlag.

    Google Scholar 

  88. R. Valette: Etude comparative de deux outils de représentation: Grafcet et Réseaux de Petri. Le Nouvel Automatisme, No 3, December, pp. 377–382.

    Google Scholar 

  89. R. Valette, M. Courvoisier, D. Mayeux: Control of flexible production systems and Petri nets. Application and Theory of Petri nets, Informatik-Fachberichte, No 66. Springer Verlag, pp. 264–277.

    Google Scholar 

  90. R. Valette, M. Courvoisier, JM. Bigou, J. Albukerque: A Petri net based programmable logic controller. IFIP First International Conference on Computer Applications in Production and Engineering, CAPE 83. Amsterdam, April.

    Google Scholar 

  91. R. Valette, V. Thomas, S. Bachmann 1985a: SEDRIC un simulateur à événements discrets basé sur les réseaux de Petri. RAIRO/APII, Vol 19, No 5, pp. 423–436.

    Google Scholar 

  92. R. Valette, M. Courvoisier, H. Demmou, JM. Bigou, C. Desclaux: Putting Petri nets to work for controlling flexible manufacturing systems. IEEE ISCAS. Kyoto, Juin, pp. 929–932.

    Google Scholar 

  93. R. Valette 1987: Nets in production systems. Petri Nets: Applications and Relationships to Other Models of Concurrency, LNCS 255, Springer Verlag, pp. 191–217.

    Google Scholar 

  94. R. Valette: Coordination problems in FMS control systems. A.I.R.O. workshop on Coordination management by means of Petri nets. Modena, Italy, April.

    Google Scholar 

  95. R. Valette, J. Cardoso, H. Atabakhche, M. Courvoisier, T. Lemaire: Petri nets and production rules for decision levels in FMS control. 12th IMACS World Congress on Scientific Computation. Paris, Juillet, pp.522–524.

    Google Scholar 

  96. R. Valette: Monitoring manufacturing systems by means of Petri nets with imprecise markings. IEEE International Symposium on Intelligent Control. Albany N.Y., September, pp.233–238.

    Google Scholar 

  97. S. Velilla, M. Silva: The spy: a mechanism for safe implementation of highly concurrent systems. 15th IFAC/IFIP Workshop on real-time programming. Valencia (Spain), May, pp.95–102.

    Google Scholar 

  98. J.L. Villarroel, J. Martínez, M. Silva: GRAMAN: A Graphic System for Manufacturing System Design. IMACS Symp. on System Modelling and Simulation. Elseiver Science Publ. (S. Tzafestas, A. Eisinberg, L. Carotenuto, eds), pp. 311–316.

    Google Scholar 

  99. N. Viswanadham, Y. Narahari: Coloured Petri nets models for automated manufacturing systems. IEEE Conference on Robotics and Automation. Raleigh, NC, March 30th–April 3, pp.1985–1990.

    Google Scholar 

  100. F.Y. Wang, G. Saridis: The coordination of intelligent robots: a case study. IEEE International Symposium on Intelligent Control. Albany N.Y., September, pp.506–511.

    Google Scholar 

  101. R. Z. Zurawski, Tharam S. Dillon 1989: Specification, verification and performance evaluation of flexible manufacturing systems, IFIP Conference on Computer Applications in Production and Engineering CAPE 89, Tokyo p.517–525.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Ingeniería Eléctrica e Informática, C/ María de Luna,3 (Actur), E-50015, Zaragoza

    Manuel Silva

  2. Lab. Automatique et Analyse des Systèmes, 7, Av du Colonel Roche, F-31077, Toulouse

    Robert Valette

Authors
  1. Manuel Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert Valette
    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

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Silva, M., Valette, R. (1990). Petri nets and flexible manufacturing. In: Rozenberg, G. (eds) Advances in Petri Nets 1989. APN 1988. Lecture Notes in Computer Science, vol 424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52494-0_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-52494-0_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52494-6

  • Online ISBN: 978-3-540-46998-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation