Supervisory control of Petri nets using routing functions: starvation avoidance issues

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 30, Issue 5, 2000, Pages 684-695

  Alpan, Gülgün ^a   Gaujal, Bruno ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL GEOMETRY; DISCRETE TIME CONTROL SYSTEMS; FUNCTIONS; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; POLYNOMIALS; SCADA SYSTEMS;

ROUTING FUNCTIONS; STARVATION AVOIDANCE; SUPERVISORY CONTROL;

CONTROL SYSTEM SYNTHESIS;

EID: 0034294016     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.875445     Document Type: Article

References (27)

1. F. Baccelli, S. Foss, and B. Gaujal, "Free choice nets, an algebraic approach," IEEE Trans. Automat. Contr., vol. 41, pp. 1751-1778, Dec. 1996.
2. F. Baccelli and B. Gaujal, "Liveness in Petri Nets, an Algebraic Approach," INRIA, Nancy, France, Tech. Rep. RR 2839, 1996.
3. F. Baccelli, G. Gohen, G. J. Olsder, and J.-P. Quadrat, Synchronization and Linearity. New York: Wiley, 1992.
4. I. Borosh and L. B. Treybig, "Bounds on positive integral solutions of linear diophantine equations," in Proc. Amer. Math. Soc., vol. 55, Mar. 1976.
5. G. Cohen, D. Dubois, J. P. Quadrat, and M. Viot, "A linear system theoretic view of discrete event processes and its use for performance evaluation in manufacturing," IEEE Trans. Automat. Contr., vol. AC-30, pp. 210-220, 1985.
6. G. Cohen, S. Gaubert, and J. P. Quadrat, "Asymptotic throughput of continuous Petri nets," in 34th Conf. Decision and Control, New Orleans, LA, Dec. 1995.
7. J. Davenport, Y. Siret, and E. Tournier, Computer Algebra, Systems and Algorithms for Algebraic Computations. New York: Academic, 1993.
8. B. Gaujal, "Some algebraic considerations for efficient computations in timed Petri nets," presented at the HICSS, Jan. 1996.
9. _, "Infinite behavior of continuous and discrete nets," in Eur. Control Conf., Brussels, Belgium, 1997.
10. B. Gaujal and S. Haar, "Non-Ambiguous Petri Nets," INRIA, Nancy, France, Tech. Rep. 3691, 1999.
11. A. Guia, "Petri nets as discrete event models for supervisory control," Ph.D. thesis, Rensselaer Polytechnic Inst., Troy, NY, Aug. 1992.
12. H.-M. Hanisch and M. Rausch, "Synthesis of supervisory controllers based on novel representation of condition/event systems," in Proc. IEEE Int. Conf. Systems, Man, and Cybernetics, vol. 4, Vancouver, BC, Canada, Oct. 22-25, 1995, pp. 3069-3074.
13. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 35, pp. 514-523, May 1990.
14. _, "On closed-loop liveness of discrete event systems under maximally permissible control," IEEE Trans. Automat. Contr., vol. 37, no. 5, pp. 692-697, May 1992.
15. A. Ichikawa and K. Hiraishi, "Analysis and control of discrete event systems represented by Petri nets," in Lecture Notes in Control and Information Sciences, P. Varaiya and A. B. Kurzhanski, Eds. New York: Springer-Verlag, 1988, vol. 103, pp. 115-134.
16. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, pp. 641-651, July-Aug. 1991.
17. A. Lüder, H.-M. Hanish, and M. Rausch, "Synthesis of forcing/locking controllers based on net condition/event systems," in Proc. 5th IEEE Int. Conf. Emerging Technologies and Factory Automation (ETFA'96), Kauai, HI, Nov. 1996.
18. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
19. P. J. Ramadge and W. M. Wonham, "On the supremal controllable sublanguage of a given language," SIAM J. Contr. Optim., vol. 25, no. 3, 1987.
20. _, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optim., vol. 25, no. 1, 1987.
21. M.-F. Roy, "Basic algorithm in real algebraic geometry and their complexity: From Sturm's thereom to the existential theory of reals," in Lectures in Real Geometry, Fabrizio Broglia ed: Walter de Gruzter, 1999.
22. R. S. Sreenivas, "On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets," IEEE Trans. Automat. Contr., vol. 42, pp. 928-945, July 1997.
23. _, "On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement," IEEE Trans. Automat. Contr., vol. 44, no. 1, pp. 173-177, 1999.
24. _, "On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions," IEEE Trans. Automat. Contr., vol. 44, pp. 1221-1225, June 1999.
25. R. S. Sreenivas and B. H. Krogh, "On condition/event systems with discrete state realizations," Discrete Event Dyn. Syst. Theory Applicat., vol. 3, no. 1, pp. 209-236, 1991.
26. N. Vishwanadham, Y. Narahari, and T. L. Johnson, "Deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Automat., vol. 6, pp. 713-724, Dec. 1990.
27. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, 1996.