Design of A Petrinet-based Supervisory Control System

페트리네트 기반 관리 제어시스템의 설계

  • 공성학 (한양대학교 전자통신전파공학과) ;
  • 서일홍 (한양대학교 전자통신전파공학과)
  • Published : 2005.08.01

Abstract

This paper presents a design experience of a supervisory control system. For effective programming of job commands, a petri net-type graphical language (PGL) is proposed applied to various tasks having concurrency and synchronization. Our PGL based supervisory control system is composed of PGL editor and PGL compiler; PGL editor is designed to help us to generate a job program using graphical symbols. PGL compiler includes analyzer, scheduler, and tranlator, PGL analyzer prevents a deadlock or resource allocation of unit cell, PGL scheduler generates a adequate job sequence of unit cell. and PGL translator translate the scheduled sequence into the iob program of each unit cell.

Keywords

References

  1. John. O. Moody, Panos J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets, Kluwer Academic Publishers, 1998
  2. J. W. Roach and M. N. Boaz, 'Coordinating the Motion of Robot Arms in a Common Workspace,' IEEE Journal of Robotics and Automation, Vol. RA-3, No.5, pp. 437-444, 1987 https://doi.org/10.1109/JRA.1987.1087116
  3. M. M. Arbib, R. O. Eason and R. C. Gonzlez, 'Autonomous Robotics Inspection and Manipulation Using Multisensor Feedback,' IEEE Trans. on Computer, Vol. 24 No.4, pp. 17-31, 1991 https://doi.org/10.1109/2.76260
  4. H. Chu and H. A. Elmaraghy, 'Integration of Task Planning and Motion Control in a Multi-Robot Assembly Workcell,' Journal of Robotics and Computer Integrated Manufacturing, Vol. 10, No.3, 1993 https://doi.org/10.1016/0736-5845(93)90058-R
  5. E. Rutten, et. al., 'A Tesk-Level Robot Programming Language and its Reactive Execution,' Proc. IEEE Int. Conf. on Robotics and Automation, Vol. 3, pp. 2751-2756, 1992 https://doi.org/10.1109/ROBOT.1992.219990
  6. V. Gopalakrishna, N. Viswanadham and Krishna R. Pattipati, 'Sensitivity Analysis of Failure-Prone Flex Manufacturing Systems,' IEEE International Conference on Robotics and Automation, Vol. 1, pp. 181 -186, 1994 https://doi.org/10.1109/ROBOT.1994.350991
  7. Bertil A. Brandin, 'The Real-Time Supervisory Control of an Experimental Manufacturing Cell,' IEEE Trans. on Robotics and Automation, Vol. 12, No. 1, pp. 1-14, 1996 https://doi.org/10.1109/70.481746
  8. I. H. Suh, H. J. Yeo, J. H. Kim, J. S. Ryoo, S. R. Oh, C. W. Lee and B. H. Lee, 'Design of a Supervisory Control System for Multiple Robotics Systems,' IEEE International Conference on Intelligent Robots and Systems, IROS 96, Vol. 1, pp. 332-339, 1996 https://doi.org/10.1109/IROS.1996.570696
  9. C. W. Moon, B. H. Lee and M. S. Kim, 'PLC Based Coordinate Schemes for a Multi-robot System,' Proc. IEEE into Conf. on Robotics and Automation, Vol. 3, pp. 3109-3114, 2001 https://doi.org/10.1109/ROBOT.2001.933095
  10. E. D. Adamides and D. Bonvin, 'Obtaining Synergetic Behavior by Exploiting Relations in Distributed Robot Plans,' Proc. IEEE int. Conf. on Robotics and Automation, Vol. 2, pp. 1706-1712, 1994 https://doi.org/10.1109/ROBOT.1994.351346
  11. F. Y. Wang, et. al., 'A Petri-net Coordination Model for an Intelligent Mobile Robot,' IEEE Trans. on Systems, Man, and Cybernetics. Vol. 21, No.4, pp. 777-789, 1994 https://doi.org/10.1109/21.108296
  12. R. Zurawski and M. C. Zhou, 'Petri nets and industrial Applications,' IEEE Trans. on Industrial Electronics, Vol. 41, No.6, pp. 567-583, 1994 https://doi.org/10.1109/41.334574
  13. L. Ferrarini, C. Maffezzoni and A. Giua, 'Design and Imaplementation Issues in The Conrol of Discrete Event Systems,' International Conference on Industrial Electronics, Control and Instrumentation, Vol. 3, pp. 1515-1520, 1994 https://doi.org/10.1109/IECON.1994.398039
  14. I. H. Suh et. al. 'A Control System for Multiple-Robot Manipulators; Design and Implementation,' Proc. of ISRAM 94, Vol. 5, pp. 279-285, 1994
  15. Kurt Jensen, Coloured Petri Nets, Springer-Verlag, Chapter 1-4
  16. MengChu Zhou, Petri Nets in Flexible And Agile Automation, Kluwer Academic Publishers, Chapter 1-6
  17. J. L. Peterson, Petri net Theory and the modelling of Systems, Englewood Cliffs, NJ, Prentice-Hall, Inc., 1981
  18. R. Sisto and A. Valenzano, 'Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions,' IEEE Trans. on Computer, Vol. 44, No. 12, pp. 1361-1370, 1995 https://doi.org/10.1109/12.477242