论文信息 - On the existence of Petri net supervisors

On the existence of Petri net supervisors

The use of Petri net languages in supervisory control theory is discussed. It is shown that the trimming of an unbounded Petri net is not always possible. A class of Petri net languages, which may be generated by nonblocking generators, is defined. Necessary and sufficient conditions for the existence of a Petri net supervisor, under the hypothesis that the system's behavior and the legal behavior are both Petri net languages, are derived.<<ETX>>

Alessandro Giua | F. DiCesare

[1] Toshimitsu Ushio. On the existence of finite state supervisors in discrete-event systems , 1990, 29th IEEE Conference on Decision and Control.

[2] Matthias Jantzen. Language theory of Petri nets , 1986 .

[3] P. Ramadge,et al. On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[4] W. M. Wonham,et al. The control of discrete event systems , 1989 .

[5] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6] Jana Kosecka,et al. Control of Discrete Event Systems , 1992 .

[7] Stéphane Lafortune,et al. Some results on Petri net languages , 1990 .

[8] P. Ramadge,et al. On the supermal controllable sublanguage of a given language , 1987 .

[9] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .

[10] Alessandro Giua,et al. Supervisory design using Petri nets , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[11] Bruce H. Krogh,et al. Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

[12] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .

[13] P. Ramadge,et al. Modular Supervisory Control of Discrete Event Systems , 1988 .