A class of well structured petri nets for flexible manufacturing systems

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

Volumn 1420, Issue , 1998, Pages 64-83

  Ezpeleta, J ^a   Garclla Valles, F ^a   Colom, J M ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

MANUFACTURE; PETRI NETS;

ANALYSIS AND SYNTHESIS; COMMON RESOURCES; DEADLOCK CONTROL POLICY; FLEXIBLE MANUFACTURING; LINEAR TIME; SEQUENTIAL PROCESS; STRUCTURAL POINT; SYSTEM DESIGN AND VERIFICATION USING NETS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 84957651657     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69108-1_5     Document Type: Conference Paper

References (26)

1. Z. Banaszak, B. Krogh, Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Competing Process Flows, IEEE Transactions on Robotics and Automation, Vol. 6, No. 6, December 1990, pp. 724-734.
2. E. Best, P.S. Thiagarajan, Some Classes of Live and Safe Petri Nets, Concurrency and Nets, K. Voss, H.J. Genrich, G. Rozenberg (Eds.), Advances in Petri NEts, Springer-Verlag, 1987, pp. 71-94
3. D.Y. Chao, M. Zhou, D.T. Wang, Extending Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems, Proceedings of the 3th. International Conference on Computer Integrated Manufacturing, Rensselaer Polytechnic Institute, Troy (New York), 1992, pp. 56-63.
4. E.G. Coffman, M.J. Elphick, A. Shoshani, System Deadlocks, ACM Computer Surveys, Vol. 3, No. 2, 1971, pp. 67-78.
5. T.H. Cormen, C.E. Leiserson, R.L. Rivest, Introduction to Algorithms, The MIT Press/MacGraw-Hill Book Company, 1992.
6. J.M. Colom, M. Silva, Improving the linearly based characterization of P/T nets, G. Rozenberg Editor, Advances in Petri Nets 1990, LNCS 483, Springer Verlag 1991, pp. 113-145.
7. A.A. Desrochers and R.Y. Al-Jaar, Application of Petri Nets in Manufacturing Systems: Modeling, Control and Performance Analysis, IEEE Press, 1995
8. F. Dicesare, G. Harhalakis, J.M. Proth, M. Silva, Practice of Petri Nets in Manufacturing, Chapman & Hall, 1993.
9. E.W. Dijsktra, Co-operating Sequential Processes, Programming Languages, F. Genuys (Ed.), Academic Press, 1965.
10. J. Esparza, M. Silva, Compositional Synthesis of Live and Bounded Free Choice Nets, CONCUR'91, LNCS vol.527, Springer-Verlag 1991.
11. J. Ezpeleta, J.M. Colom, J. Martínez, A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems, IEEE Transactions on Robotics and Automation, Vol. 11, No. 2, April 1995, pp. 173-184.
12. J. Ezpeleta, Analysis and Synthesis of Deadlock Free Models for Concurrent Systems, Ph. D. thesis, Dpt. de Ingeniería Eléctrica e Informática, University of Zaragoza (Spain), June 1993 (in Spanish).
13. M.H.T. Hack, Analysis of Production Schemata by Petri Nets, Cambridge, Maa.: MIT, Dept. of Electrical Engineering, M.S. Thesis, 1972
14. F. Hsieh, S. Chang, Dispatching-Driven Deadlock Avoidance Controller Synthesis for Flexible Manufacturing Systems, IEEE Transactions on Robotics and Automation, Vol. 10, No. 2, April 1994, pp. 196-209.
15. M.D. Jeng, F. DiCesare, Synthesis Using Resource Control Nets for Modeling Shared-Resource Systems,IEEE Transactions on Robotics and Automation,Vol. 11,N. 3, June 1995, pp. 317-327
16. J.M. Proth and X. Xie, Petri Nets. A Tool for Design and Management of Manufaturing Systems, John Wiley & Sons,1996
17. M. Singhal, Deadlock Detection in Distributed Systems, COMPUTER, IEEE, November 1989, pp. 37-48.
18. M. Silva, R. Valette, Petri Nets and Flexible Manufacturing, Advances in Petri Nets, LNCS 424, Springer-Verlag, 1989, pp. 374-417.
19. A.S. Tanenbaum, Operating Systems. Design and Implementation, Prentice-Hall International Editions, 1987.
20. N. Viswanadham, Y. Narahari, Performance Modeling of Automated Manufacturing Systems, Prentice-Hall, 1992.
21. N. Viswanadham, Y. Narahari, T. Johnson, Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models, IEEE Transactions on Robotics and Automation, Vol. 6, No. 6, December, 1990, pp. 713-723.
22. W. Vogler, Behavior Preserving Refinements of Petri Nets, Graph Theoretic Concepts in Computer Science, LNCS, N. 246, Springer Verlag, 1986, pp. 82-93.
23. R.A. Wysk, N.S. Yang, S. Joshi, Detection of Deadlocks in Flexible Manufacturing Cells, IEEE Transactions on Robotics and Automation, Vol. 7, No. 6, December 1991, pp. 853-859.
24. K.Y. Xing, B.S. Hu, H.X. Chen, Deadlock Avoidance Policy for Petri-net Modeling of Flexible Manufacturing Systems with Shared Resources, IEEE Transactions on Automatic Control, Vol. 41, No. 2, February 1996, pp. 289-295.
25. M. Zhou, F. Dicesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers, 1993.
26. M. Zhou, K. McDermott, P. Patel, Petri Net Synthesis and Analysis of a Flexible Manufacturing System Cell, IEEE Transactions on Systems, Man and Cybernetics, Vol. 23, No. 2, March 1993, pp. 523-531.