Advertisement

Controlled Petri nets: A tutorial survey

  • L. E. Holloway
  • B. H. Krogh
The Petri Net Approach
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 199)

Keywords

State Feedback Supervisory Control Discrete Event System State Place Control Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Z. A. Banaszak and B. H. Krogh. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation, 6(6), December 1990.Google Scholar
  2. 2.
    R.K. Boel, L. Ben-Naom, and V. Van Breusegem. On forbidden state problems for a class of controlled Petri nets. IEEE Transactions on Automatic Control, 1994. to appear.Google Scholar
  3. 3.
    B.A. Brandin and W.M. Wonham. Supervisory control of timed discrete-event systems. In Proc. 27th IEEE Conf. on Decision and Control, pages 3357–3362, Austin, TX, Dec 1988.Google Scholar
  4. 4.
    Y. Brave and M. Heymann. Formulation and control of real-time discrete event processes. In Proc. 27th IEEE Conf. on Decision and Control, pages 1131–1132, Austin, TX, Dec 1988.Google Scholar
  5. 5.
    Y.Brave and B.H. Krogh. Maximally permissive policies for controlled time marked graphs. In Proceedings of 12th IFAC World Congress, Sydney, July 1993.Google Scholar
  6. 6.
    F. Dicesare, G. Harhalakis, J. M. Proth, M. Silva, and F. B. Vernadat. Practice of Petri Nets in Manufacturing. Chapman and Hall, London, 1993.Google Scholar
  7. 7.
    A. Giua and F. DiCesare. Easy synchronized Petri nets as discrete event models. In Proc. 29th IEEE Conf. on Decision and Control, pages 2839–2844, Honolulu, Dec 1990.Google Scholar
  8. 8.
    A. Giua and F. DiCesare. Supervisory design using Petri nets. In Proceedings of the 30th IEEE Conference on Decision and Control, Brighton, UK, December 1991.Google Scholar
  9. 9.
    A. Giua and F. DiCesare. Blocking and controllability of Petri nets in supervisory control. Transactions on Automatic Control, 39(2), Feb. 1994. to appear.Google Scholar
  10. 10.
    A. Giua and F. DiCesare. Petri net structural analysis for supervisory control. IEEE Transactions on Robotics and Automation, April 1994. to appear.Google Scholar
  11. 11.
    A. Giua, F. DiCesare, and M. Silva. Generalized mutual exclusion constraints on nets with uncontrollable transitions. In Proceedings of 1992 IEEE International Conference on Systems, Man, and Cybernetics, pages 974–979, Chicago, October 1992.Google Scholar
  12. 12.
    C.H. Golaszewski and P.J. Ramadge. Mutual exclusion problems for discrete event systems with shared events. In Proceedings 27th IEEE Conf. on Decision and Control, Austin, Texas, Dec 1988.Google Scholar
  13. 13.
    C. Haoxun and H. Baosheng. Distributed control of discrete event systems described by a class of controlled Petri nets. In Preprints of IFAC International Symposium on Distributed Intelligence Systems, Arlington, Virginia, August 1991.Google Scholar
  14. 14.
    L. E. Holloway. Feedback control synthesis for a class of discrete event systems using distributed state models. Technical Report LASIP-88-17, Laboratory for Automated Systems and Information Processing, Dept of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, Sept. 1988.Google Scholar
  15. 15.
    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):514–523, May 1990. Also appears in Discrete Event Dynamic Systems: Analyzing Complexity and Performance in the Modern World, edited by Y.C. Ho, IEEE Press, New York, 1992.Google Scholar
  16. 16.
    L. E. Holloway and B. H. Krogh. On closed-loop liveness of discrete event systems under maximally permissive control. IEEE Transactions on Automatic Control, 37(5), May 1992.Google Scholar
  17. 17.
    L.E. Holloway and X. Guan. A generalization of state avoidance policies for controlled Petri nets. In Proceedings of 32nd IEEE Conference on Decision and Control, San Antonio, Texas, December 1993.Google Scholar
  18. 18.
    L.E. Holloway and F. Hossain. Feedback control for sequencing specifications in Controlled Petri Nets. In Third International Conference on Computer Integrated Manufacturing, pages 242–250, Troy, New York, May 1992.Google Scholar
  19. 19.
    A. Ichikawa and K. Hiraishi. Analysis and control of discrete event systems represented by Petri nets. Discrete Event Systems: Models and Applications, IIASA Conference, Sopron, Hungary, August 3–7, 1987, 1988. Springer-Verlag, New York.Google Scholar
  20. 20.
    B. H. Krogh. Controlled Petri nets and maximally permissive feedback logic. Proceedings of 25th Annual Allerton Conference, Sept. 1987. University of Illinois, Urbana.Google Scholar
  21. 21.
    B. H. Krogh and L. E. Holloway. Synthesis of feedback control logic for discrete manufacturing systems. Automatica, July 1991.Google Scholar
  22. 22.
    B. H. Krogh, J. Magott, and L. E. Holloway. On the complexity of forbidden state problems for controlled marked graphs. In Proceedings of the Conference on Decision and Control, Brighton, UK, December 1991.Google Scholar
  23. 23.
    R. Kumar and L. E. Holloway. Supervisory control of Petri net languages. In Proceedings of the 31st IEEE Conference on Decision and Control, pages 1190–1195, Tucson, Arizona, December 1992.Google Scholar
  24. 24.
    Y. Li. Control of Vector Discrete-Event Systems. PhD thesis, Systems and Control Group, Department of Electrical Engineering, University of Toronto, July 1991.Google Scholar
  25. 25.
    Y. Li and W. M. Wonham. Strict concurrency and nondeterministic control of discrete-event systems. In Proceedings of IEEE Conference on Decision and Control, pages 2731–2736, Tampa, Florida, December 1989.Google Scholar
  26. 26.
    Y. Li and W.M. Wonham. Control of vector discrete-event systems I — the base model. IEEE Transactions on Automatic Control, 38(8):1214–1227, August 1993.CrossRefGoogle Scholar
  27. 27.
    Y. Li and W.M. Wonham. Control of vector discrete-event systems II — controller synthesis. IEEE Transactions on Automatic Control, 39(3), March 1994. to appear.Google Scholar
  28. 28.
    T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–580, April 1989.CrossRefGoogle Scholar
  29. 29.
    J. S. Ostroff and W. M. Wonham. A framework for real-time discrete event control. IEEE Transactions on Automatic control, 35(4), April 1990.Google Scholar
  30. 30.
    J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ, 1981.Google Scholar
  31. 31.
    P. J. Ramadge. Some tractable supervisory control problems for discrete event systems. Symposium on the Mathematical Theory of Networks and Systems, June 1987.Google Scholar
  32. 32.
    P.J. Ramadge and W.M. Wonham. Supervisory control of a class of discrete-event processes. SIAM J. on Control an Optimization, 25, Jan 1987.Google Scholar
  33. 33.
    A.S. Sathaye. Logical Analysis and Control of Real-Time Discrete Event Systems. PhD thesis, Carnegie Mellon University, 1993.Google Scholar
  34. 34.
    R.S. Sreenivas. A note on deciding the controllability of a language K with respect to a language L. IEEE Transactions on Automatic Control, pages 658–662, April 1993.Google Scholar
  35. 35.
    T. Ushio. Maximally permissive feedback and modular control synthesis in Petri nets with external input places. IEEE Transactions on Automatic Control, 35(7), July 1990.Google Scholar

Copyright information

© Springer-Verlag London Limited 1994

Authors and Affiliations

  • L. E. Holloway
    • 1
  • B. H. Krogh
    • 2
  1. 1.Center for Manufacturing Systems and Dept. of Electrical EngineeringUniversity of KentuckyLexingtonUSA
  2. 2.Department of Electrical and Computer EngineeringCarnegie Mellon UniversityPittsburghUSA

Personalised recommendations