Automatic synthesis of colored Petri nets for the control of FMS

IEEE Transactions on Robotics and Automation

Volumn 13, Issue 3, 1997, Pages 327-337

  Ezpeleta, Joaquín ^a   Colom, José Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Deadlock prevention strategies; Flexible manufacturing systems; Model synthesis; Petri net models

Indexed keywords

COMPUTER SIMULATION; CONTROL; FLEXIBLE MANUFACTURING SYSTEMS; INTEGRATION; MATHEMATICAL MODELS; PLANT LAYOUT; PROCESS ENGINEERING;

MODEL SYNTHESIS;

PETRI NETS;

EID: 0031168484     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.585896     Document Type: Article

References (18)

1. T. Agerwala and Y. Choed-Amphai, "A synthesis rule for concurrent systems," in Proc. 15th. Design Automation Conf., Las Vegas, NV, June 1978, pp. 305-311.
2. C. André, "Use of the behavior equivalence in place-transition net analysis," in Application and Theory of Petri Nets, IFB 52. New York: Springer Verlag, 1982, pp. 241-250.
3. K. Barkaoui, C. Dutheillet, and S. Haddad, "An efficient algorithm for finding structural deadlocks in colored Petri nets," in Proc. 14th Int. Conf. Applicat. Theory of Petri Nets, LNCS691. New York: Springer-Verlag, 1993, pp. 69-88.
4. Z. Banaszak and B. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Automat., vol. 6, pp. 724-734, Dec. 1990.
5. W. Brauer, R. Gold, and W. Vogler, "A survey of behavior and equivalence preserving refinements of Petri nets," in Advances in Petri Nets. New York: Springer-Verlag, LNCS vol. 483, 1990, pp. 1-46.
6. T. H. Cormen, C. E. Leiserson, and R. L. Rivest, Introduction to Algorithms. Cambridge, MA: The MIT Press, 1990.
7. J. Ezpeleta, J. M. Colom, and J. Martínez, "A Petri net based deadlock prevention control policy," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, Apr. 1995.
8. 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," in Advances in Petri Nets 1993, Lecture Notes in Computer Science, vol. 674, G. Rozenberg, Ed. New York: Springer-Verlag, 1993, pp. 126-147.
9. J. Ezpeleta, J. Martínez, and J. M. Colom, "Synthesis of live high level models for a class of FMS," in Proc. IEEE/SMC'93 Conf., Le Touquet, France, Oct. 17-20, 1993, pp. 589-594.
10. J. C. Gentina, J. P. Bourey, and M. Kapusta, "Colored adaptative structured Petri-net," Comput. Integrat. Manufact. Syst., vol. 1, no. 1, pp. 39-47, Feb. 1988.
11. _, "Colored adaptative structured Petri-net - Part-II," Comput. Integrat. Manufact. Syst., vol. 1, no. 2, pp. 103-109, May 1988.
12. K. Jensen, Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1, EATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag, 1992.
13. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
14. H. T. Papadopoulos, C. Heavy, and J. Browne, Queuing Theory in Manufacturing Systems Analysis and Design. London, England: Chapman and Hall, 1993.
15. Y. Souissi and G, Memmi, "Composition of nets via a communication medium," Advances in Petri Nets, LNCS vol. 483. New York: Springer-Verlag, 1990, pp. 292-308.
16. I. Suzuki and T. Murata, "A method for stepwise refinements and abstraction of Petri nets," J. Comput. Syst. Sci., vol. 27, pp. 51-76, 1983.
17. R. Valette, "Analysis of Petri nets by stepwise refinements," J. Comput. Sci., no. 28, pp. 35-46, 1979.
18. N. Viswanadham and Y. Narahari, Performance Modeling of Automated Manufacturing Systems. Englewood Cliffs, NJ: Prentice-Hall, 1992.