Using a Petri-net-based approach for the real-time supervisory control of an experimental manufacturing system

International Journal of Advanced Manufacturing Technology

Volumn 16, Issue 7, 2000, Pages 498-515

  Uzam, M ^a,c   Jones, A H ^b   Yucel I ^a  

^a Muhendislik Mimarlik Fakultesi   (Turkey)

^b UNIVERSITY OF SALFORD   (United Kingdom)

^c NIGDE UNIVERSITY   (Turkey)

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; FACTORY AUTOMATION; MATHEMATICAL MODELS; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS; REAL TIME SYSTEMS; SCADA SYSTEMS;

LADDER LOGIC DIAGRAMS (LLD);

COMPUTER INTEGRATED MANUFACTURING;

EID: 0033686954     PISSN: 02683768     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001700070058     Document Type: Article

References (23)

1. A. H. Jones and M. Uzam, "A formal technique for the synthesis of Petri net supervisors for discrete event systems", Proceedings of the International Conference on Control - CONTROL'98, University of Wales, Swansea, UK, pp. 845-852, 1-4 September 1998.
2. P. J. Ramadge and W. M. Wonham, "Modular supervisory control of discrete event systems", Proceedings of the Seventh International Conference on the Analysis and Optimization of Systems, 25-27 June 1986. Antibes pp. 202-214, Lecture Notes in Control and Optimization of Systems, vol. 83 (ed. A. Bensoussan and J.L. Lions) Springer-Verlag, New York, 1986.
3. P. J. Ramadge and W. M. Wonham, "Modular supervisory control of discrete event systems", Proceedings of the Seventh International Conference on the Analysis and Optimization of Systems, 25-27 June 1986. Antibes pp. 202-214, Lecture Notes in Control and Optimization of Systems, vol. 83 (ed. A. Bensoussan and J.L. Lions) Springer-Verlag, New York, 1986.
4. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes", SIAM Journal on Control and Optimization, 25(1), pp. 206-230, January 1987.
5. P. J. Ramadge and W. M. Wonham, "Modular feedback logic for discrete event systems", SIAM Journal on Control and Optimization, 25(5), pp. 1202-1218, September 1987.
6. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language", SIAM Journal on Control and Optimization, 25(3), pp. 637-659, 1987.
7. R. K. Boel, L. Ben-Naoum and V. V. Breusegem, "On forbidden state problems for a class of controlled Petri nets", IEEE Transactions on Automatic Control, 40(10), pp. 1717-1731, 1995.
8. H. Chen, "Synthesis of feedback control logic for controlled Petri nets with forward and backward conflict-free uncontrolled subnet", in Proceedings 33rd IEEE Conference on Decision and Control, Lake Buena Vista, FL, pp. 3098-3103, December 1994.
9. A. Giua and F. DiCesare, "Supervisory design using Petri nets", in Proceedings of the 30th Conference on Decision and Control, Brighton, England, December, pp. 92-97, 1991.
10. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets", IEEE Transactions on Automatic Control, 35(5), pp. 514-523, May 1990.
11. L. E. Holloway, B. H. Krogh and A. Giua, "A survey of Petri net methods for controlled discrete event systems", Journal of Discrete Event Dynamic Systems, 7(2), pp. 151-190, April 1997.
12. B. H. Krogh, "Controlled Petri nets and maximally permissive feedback logic", in Proceedings of the 25th Annual Allerton Conference, University of Illinois, Urbana, USA, pp. 371-326, September 1987.
13. R. Kumar and L. E. Holloway, "Supervisory control of deterministic Petri net languages", IEEE Transactions on Automatic Control, 41(2), pp. 245-249, February 1996.
14. M. Makungu, M. Barbeau and R. St. Denis, "Synthesis of controllers with coloured Petri nets", Proceedings 32nd Annual Allerton Conference, University of Illinois, Urbana, USA, pp. 709-718, 1994.
15. R. S. Sreenivas, "Deterministic λ-free Petri net languages and their application to the supervisory control of discrete event dynamic systems", Proceedings of the Midwest Circuits and Systems Conference, Wayne University, Michigan, USA, August 1993.
16. R. S. Sreenivas, "On asymptotically efficient solutions for a class of supervisory control problems", Proceedings of IEEE International Conference on Systems, Man and Cybernetics, San Antonio, Texas, USA, October 1994.
17. R. S. Sreenivas, "On asymptotically efficient solutions for a class of supervisory control problems", IEEE Transactions on Automatic Control, 41(12), pp. 1736-1750, December 1996.
18. A. Giua, "Petri net techniques for supervisory control of discrete event systems", in Proceedings of 1st International Workshop on Manufacturing and Petri Nets, Osaka Japan, pp. 1-21, June 1996.
19. R. Zurawski and M. C. Zhou, "Petri nets and industrial applications: a tutorial", IEEE Transactions on Industrial Electronics, 41(6), pp. 567-583, December 1994.
20. M. Uzam and A. H. Jones, "Discrete event control system design using automation Petri nets and their ladder diagram implementation", International Journal of Advanced Manufacturing Systems (special issue on Petri Nets Applications), 14(10), pp. 716-728, October 1998.
21. M. Uzam, "Petri-net-based supervisory control of discrete event systems and their ladder logic diagram implementations", PhD thesis, University of Salford, Salford, UK, 1998.
22. A. H. Jones, M. Uzam, A. H. Khan, D. Karimzadgan and S. B. Kenway, "A general methodology for converting Petri nets into ladder logic: the TPLL methodology", in Proceedings of the Rensselaer's First International Conference on Computer Integrated Manufacturing and Automation Technology - CIMAT'96, France, pp. 357-362, 29-31 May 1996.
23. M. Uzam and A. H. Jones, "Design of a discrete event control system for a manufacturing system using token passing ladder logic", Proceedings of the CESA'96 IMACS Multiconference, Symposium on Discrete Events and Manufacturing Systems, Lille, France, pp. 513-518, 9-12 July 1996.