Petri nets and manufacturing systems: An examples-driven tour

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3098, Issue , 2004, Pages 742-788

  Recalde, Laura ^a   Silva, Manuel ^a   Ezpeleta, Joaquín ^a   Teruel, Enrique ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SIMULATION; LIFE CYCLE; PETRI NETS;

ASSEMBLY CELLS; CONTINUOUS APPROXIMATIONS; DISCRETE EVENT MODELS; LARGE SYSTEM; MANAGEMENT STRATEGIES; MANUFACTURING APPLICATIONS; PRODUCTION LINE; PULL CONTROL;

MANUFACTURE;

EID: 34248528693     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27755-2_21     Document Type: Article

References (66)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Wiley, 1995.
2. H. Alla, J.B. Cavaille, M. Le Bail, and G. Bel. Les systèmes de production par lot: une approche discret-continu utilisant les réseaux de Petri Hybrides. In Proc. of ADPM'92, Paris, France, January 1992.
3. H. Alla and R. David. Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers, 8(1):159-188, 1998.
4. A. Avizenis and J. P. Kelly. Fault tolerance by design diversity: Concepts and experiments. Computer, 17(8):67-80, 1984.
5. th IEEE Int. Sypm. Fault-Tolerant Computing, pages 79-86, Madison, WI, USA, June 1992.
6. F. Balduzzi, A. Giua, and G. Menga. First-order hybrid Petri nets: A model for optimization and control. IEEE Trans. on Robotics and Automation, 16(4):382-399, 2000.
7. A. Bemporad, A. Giua, and C. Seatzu. An iterative algorithm for the optimal control of continuous-time switched linear systems. In M. Silva, A. Giua, and J.M. Colom, editors, WODES 2002: 6th Workshop on Discrete Event Systems, pages 335-340, Zaragoza, Spain, 2002. IEEE Computer Society.
8. J. Campos, G. Chiola, J. M. Colom, and M. Silva. Properties and performance bounds for timed marked graphs. IEEE Trans. on Circuits and Systems-I: Fundamental Theory and Applications, 39(5):386-401, 1992.
9. J. Campos, G. Chiola, and M. Silva. Ergodicity and throughput bounds of Petri net with unique consistent firing count vector. IEEE Trans. on Software Engineering, 17(2):117-125, 1991.
10. R. Champagnat, R. Valette, J.C. Hochon, and H. Pingaud. Modeling, simulation and analysis of batch production systems. Discrete Event Dynamic Systems: Theory and Application, 11(1/2):119-136, 2001.
11. nd Int. Workshop on Manufacturing and Petri Nets, ICATPN, pages 85-103, Toulouse, France, 1997.
12. P. Chretienne, E. G. Coffman, J. K. Lengstra, and Z. Liu, editors. Wiley, 1995.
13. th European Workshop on Application and Theory of Petri Nets, pages 207-241, Oxford, England, July 1986.
14. R. David and H. Alla. Continuous Petri nets. In Proc. of the 8th European Workshop on Application and Theory of Petri Nets, pages 275-294, Zaragoza, Spain, 1987.
15. R. David and H. Alla. Petri Nets and Grafcet. Prentice-Hall, 1992.
16. R. David, X. Xie, and Y. Dallery. Properties of continuous models of transfer lines with unreliable machines and finite buffers. IMA Journal of Mathematics Applied in Business and Industry, 6:281-308, 1990.
17. A. Desrochers and R. Y. Al-Jaar. Applications of Petri Nets in Manufacturing Systems. IEEE Press, 1994.
18. Alan A. Desrochers and Robert Y. Al-Jaar. Applications Of Petri Nets In Manufacturing Systems. Modeling, Control, And Performance Analysis. IEEE Press, 1995.
19. M. Diaz, G. Juanole, and J. P. Courtiat. Observer - a concept for formal on-line validation of distributes systems. IEEE Trans. on Software Engineering, 20(12):900-913, 1994.
20. E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages. Academic Press, 1968.
21. E.I. Elwadi and D. Mitra. Statistical multiplexing with loss priorities in rate-based congestion control of high-speed networks. IEEE Transactions on Communications, 42(11):2989-3002, 1994.
22. J. Ezpeleta and J.M. Colom. Automatic synthesis of colored Petri nets for the control of FMS. IEEE Transactions on Robotics and Automation, 13(3):327-337, June 1997.
23. J. Ezpeleta, J.M. Colom, and J. Martínez. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on Robotics and Automation, 11(2):173-184, April 1995.
24. J. Ezpeleta and J. Martínez. Formal specification and validation in production plants. In Proceedings of the 3th. International Conference on Computer Integrated Manufacturing, pages 64-73, Rensselaer Polytechnic Institute, Troy (New York), May 1992. IMACS.
25. J. Ezpeleta and L. Recalde. A deadlock avoidance approach for non-sequential resource allocation systems. IEEE Trans. on Systems, Man, and Cybernetics, 2004. Accepted.
26. J. Ezpeleta, F. Tricas, F. García-Vallés, and J.M. Colom. A Banker's solution for deadlock avoidance in FMS with routing flexibility and multi-resource states. IEEE Transactions on Robotics and Automation, 18(4):621-625, August 2002.
27. J. Ezpeleta and R. Valk. A polynomial solution for deadlock avoidance in assembly systems modelled with petri nets. In Proceedings of the Multiconference on Computational Engineering in Systems Applications (CESA2003), pages 1-8, Lille (France), July, 9-11 2003.
28. M.P. Fanti, B. Maione, and B. Turchiano. Design of supervisors to avoid deadlock in flexible assembly systems. The International Journal of Flexible Manufacturing Systems, 14:157-175, 2002.
29. B. Farwer, D. Moldt, and F. Garcí-Vallés. An approach to modelling fms with dynamic object petri nets. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Hammamet (Tunisia), October 2002.
30. J. C. Gentina, J. P. Bourey, and M. Kapusta. Coloured adaptive structured Petri nets. Computer-Integrated Manufacturing, 1(1):39-47, 1988.
31. J. C. Gentina, J. P. Bourey, and M. Kapusta. Coloured adaptive structured Petri nets (II). Computer-Integrated Manufacturing, 1(2):103-109, 1988.
32. S. B. Gershwin. Manufacturing Systems Engineering. Prentice-Hall, 1994.
33. A. N. Habermann. Prevention of systems deadlocks. Communications of the ACM, 12(7):373-385, July 1969.
34. C. Hanen and A. Munier. Cyclic scheduling problems: An overview. In Chretienne et al. [12].
35. YiSheng Huang, MuDer Jeng, and Xiaolan Xie. A deadlock prevention policy for flexible manufacturing systems using siphons. In Proc. of the 2001 IEEE International Conference on Robotics and Automation, pages 541-546, Seoul (Korea), May 2001.
36. O. Kummer and F. Wienberg. Renew. the reference net workshop. Petri Net Newsletter, (56):12-16, 1999.
37. N. G. Leveson and J. L. Stolzy. Safety analysis using Petri nets. IEEE Trans. on Software Engineering, 13(3):386-397, 1987.
38. E. López-Mellado and J.G. Morales-Montelongo. Agent-based distributed controllers for discrete manufacturing systems. In Proceedings of the Multiconference on Computational Engineering in Systems Applications (CESA2003), pages 1-7, Lille (France), July, 9-11 2003.
39. J. Martínez, P. Muro, and M. Silva. Modeling, validation and software implementation of production systems using high level Petri nets. In M. Silva and T. Murata, editors, Invited Sessions: Petri Nets and Flexible Manufacturing. IEEE Int. Conf. on Robotics and Automation, pages 1180-1185, Raleigh, NC, USA, April 1987.
40. J. Martínez, P. Muro, M. Silva, S. F. Smith, and J. L. Villarroel. Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. In R. Huber et al., editors, Artificial Intelligence in Scientific Computation, pages 307-313. Scientific Publishing Co., 1989.
41. D. Moldt and J. Ezpeleta. A proposal for flexible testing of deadlock control strategies in resource allocation systems. In Proceedings of the International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA'03), pages 586-595, Vienna, Austria, February 2003.
42. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
43. J. Park and S. Reveliotis. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control, 46(10):1572-1583, October 2001.
44. J. M. Proth and X. Xie. Petri Nets. A Tool for Design and Management of Manufacturing Systems. Wiley, 1996.
45. L. Recalde and M. Silva. Petri Nets fluidification revisited: Semantics and steady state. APII-JESA, 35(4):435-449, 2001.
46. E. Renshaw. A survey of stepping-stone models in population dynamics. Adv. Appl. Prob., 18:581-627, 1986.
47. E. Roszkowska and R. Wojcik. Problems of process flow feasibility in FAS. In K. Leiviska, editor, IFAC CIM in Process and manufacturing Industries, pages 115-120, Espoo, Finland, 1992. Oxford: Pergamon Press.
48. M. Silva. Las Redes de Petri: en la Automática y la Informática. AC, 1985.
49. M. Silva. Interleaving functional and performance structural analysis of net models. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 17-23. Springer, 1993.
50. M. Silva. Introducing Petri nets. In Practice of Petri Nets in Manufacturing, pages 1-62. Chapman & Hall, 1993.
51. M. Silva and L. Recalde. Petri nets and integrality relaxations: A view of continuous Petri nets. IEEE Trans. on Systems, Man, and Cybernetics, 32(4):314-327, 2002.
52. M. Silva and L. Recalde. On fluidification of Petri net models: from discrete to hybrid and continuous models. In IFAC Conference on Analysis and Design of Hybrid Systems, ADHS03, pages 9-20, Saint-Malo, France, June 2003.
53. M. Silva and E. Teruel. A systems theory perspective of discrete event dynamic systems: The Petri net paradigm. In P. Borne, J. C. Gentina, E. Craye, and S. El Khattabi, editors, Symposium on Discrete Events and Manufacturing Systems. CESA '96 IMACS Multiconference, pages 1-12, Lille, France, July 1996.
54. M. Silva and E. Teruel. Petri nets for the design and operation of manufacturing systems. European Journal of Control, 3(3):182-199, 1997.
55. M. Silva, E. Teruel, and J. M. Colom. Linear algebraic and linear programming techniques for the analysis of net systems. In G. Rozenberg and W. Reisig, editors, Lectures in Petri Nets. I: Basic Models, volume 1491 of Lecture Notes in Computer Science, pages 309-373. Springer, 1998.
56. M. Silva, E. Teruel, R. Valette, and H. Pingaud. Petri nets and production systems. In G. Rozenberg and W. Reisig, editors, Lectures in Petri Nets. II: Applications, volume 1492 of Lecture Notes in Computer Science, pages 85-124. Springer, 1998.
57. E. Teruel, J. M. Colom, and M. Silva. Choice-free Petri nets: A model for deterministic concurrent systems with bulk services and arrivals. IEEE Trans. on Systems, Man, and Cybernetics, 27(1):73-83, 1997.
58. F. Tricas, F. García-Vallés, J.M. Colom, and J. Ezpeleta. An iterative method for deadlock prevention in FMS. In R. Boel and G. Stremersch, editors, Discrete Event Systems: Analysis and Control. Proc. of the Workshop On Discrete Event Systems 2000, pages 139-148, Ghent, Belgium, Aug 2000. Kluwer Academic Publishers.
59. C. Valentin-Roubinet. Modeling of hybrid systems: DAE supervised by Petri nets, the example of a gas storage. In Proc. of ADPM'98, pages 142-149, Reims, France, March 1998.
60. R. Valette and M. Courvoisier. Petri nets and artificial intelligence. In R. Zurawski and T. Dillon, editors, Modern Tools for Manufacturing Systems, pages 385-405. Elsevier, 1993.
61. st Int. Conf. on Computer Applications in Production and Engineering, Amsterdam, Holland, April 1983.
62. R. Valk. Petri nets as token objects - an introduction to elementary object nets. Lecture Notes in Computer Science: 19th Int. Conf. on Application and Theory of Petri Nets, ICATPN'98, Lisbon, Portugal, June 1998, 1420:1-25, June 1998.
63. th IFAC/IFIP Workshop, pages 95-102, Valencia, Spain, May 1988. Pergamon.
64. J. L. Villarroel, J. Martínez, and M. Silva. GRAMAN: A graphic system for manufacturing system design. In S. Tzafestas, A. Eisinberg, and L. Carotenuto, editors, IMACS Symp. on System Modelling and Simulation, pages 311-316. Elsevier, 1988.
65. N. Viswanadham and Y. Narahari. Performance Modeling of Automated Manufacturing Systems. Prentice-Hall, 1992.
66. Mengchu Zhou and Kurapati Venkatesh. Modeling, Simulation, and Control of Flexible Manufacturing Systems : A Petri Net Approach, volume 6 of Series in Intelligent Control and Intelligent Automation. World Scientific, 1999.