A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems

IEEE Transactions on Robotics and Automation

Volumn 11, Issue 2, 1995, Pages 173-184

  Ezpeleta, Joaquin ^a   Colom, Jose Manuel ^a   Martinez, Javier ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Deadlock prevention strategies; Flexible Manufacturing Systems; Petri net models; Sequential processes

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; PETRI NETS; RESOURCE ALLOCATION; SYSTEMS ANALYSIS;

CONTROL POLICY; DEADLOCK PREVENTION POLICY; SEQUENTIAL PROCESSES; STATE MACHINES; SYSTEM RESOURCES;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0029288298     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.370500     Document Type: Article

References (17)

1. H. Alaiwan, J. M. Toudic, “Recherche des semi-flots, des verrous et des trappes dans le reseaux de Petri,” T.S.I., vol. 4, no. 1, pp. 104-112, 1985.
2. Z. Banaszak and B. Krogh, “Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows,” IEEE Trans. Robot. and Automat., vol. 6, no. 6, pp. 720-734, Dec. 1990.
3. J. M. Colom and M. Silva, “Improving the linearly based characterization of P/T nets,” Advances in Petri Nets 90, LNCS 483. New York: Springer-Verlag, 1991, pp. 113-145.
4. J. Ezpeleta, J. M. Couvreur, M. Silva, “A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets,” Advances in Petri Nets 1993, Lecture Notes on Computer Science, no. 674, G. Rozenberg, Ed. New York: Springer-Verlag, 1993, pp. 126-147.
5. J. Ezpeleta and J. Martinez, “Formal specification and validation in production plants,” in Proc. 3th. Int. Conf. Comput. Integrated Manufacturing, 1992, pp. 64-73.
6. “Synthesis of live models for a class of FMS,” in Proc. 1993 IEEE Int. Conf. Robot. and Automat., 1993, pp. 557-563.
7. J. Ezpeleta, “Analysis and synthesis of deadlock free models for concurrent systems,” Ph.D. thesis, Dept. de Ingenieria Electrica e Informatica, Universidad de Zaragoza, Spain, 1993 (in Spanish).
8. F. Feldbrugge, “Petri net tool overview 1992,” in Advances in Petri Nets 1993, Lecture Notes on Computer Science, no. 674, G. Rozenberg, Ed. New York: Springer-Verlag, 1993, pp. 169-209.
9. F. S. Hsieh and S. C. Chang, Deadlock avoidance controller synthesis for flexible manufacturing systems, in Proc. 3rd. Int. Conf. Comput. Integrated Manufacturing, 1992, pp. 252-261.
10. K. Lautenbach and P. S. Thiagarajan, “Analysis of a resource allocation problem using petri nets,” in 1st. European Conf. on Parallel and Distributed Syst., J. C. Syre, Ed. 1979, pp. 1-17.
11. K. Lautenbach, “Linear algebraic calculation of deadlocks and traps,” in Concurrency and Nets, Voss, Genrich, and Rozenberg, Eds. New York: Springer-Verlag, 1987, pp. 315-336.
12. T. Murata, “Petri nets: Properties, analysis and applications,” in Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
13. W. Reisig, Petri Nets. An Introduction, (EATCS Monographs on Theoretical Computer Science), W. Brauer, G. Rozenberg, and A. Salomaa, Eds. New York: Springer-Verlag, 1985.
14. “Deterministic buffer synchronization of sequential processes,” Acta Informatica., vol. 18. pp. 117-134, 1982.
15. M. Silva, Las redes de Petri en la Informatica y la Automatica. Madrid: Editorial AC, 1985 (in Spanish).
16. Y. Souissi, “Deterministic systems of sequential processes: A class of structured petri nets,” in Proc. I2th. Int. Conf. Applicat. and Theory of Petri Nets., 1991, pp. 62-81.
17. N. Viswanadham, Y. Narahari, T. Johnson, “Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models,” IEEE Trans. Robot. and Automat., vol. 6, no. 6, pp. 713-723, Dec. 1990.