论文信息 - On supervisory policies that enforce liveness in discrete event dynamic systems modeled by partially controlled Petri nets

On supervisory policies that enforce liveness in discrete event dynamic systems modeled by partially controlled Petri nets

We consider discrete-state plants represented by controlled Petri nets (CtlPNs). A transition in a CtlPN is live if for every marking reachable under supervision, there exists a valid firing sequence that results in a marking under which the said transition can fire. A supervisory policy enforces liveness if every transition in the CtlPN is live under supervision. In this paper we show that the existence of a supervisory policy that enforces liveness for an arbitrary CtlPN is undecidable.

Ramavarapu S. Sreenivas

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

[2] C. Reutenauer. The Mathematics of Petri Nets , 1990 .

[3] Ramavarapu S. Sreenivas. ENFORCING LIVENESS VIA SUPERVISORY CONTROL IN DISCRETE EVENT DYNAMIC SYSTEMS MODELED BY COMPLETELY CONTROLLED PETRI NETS , 1996 .

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

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

[6] B. Krogh,et al. On closed-loop liveness of discrete-event systems under maximally permissive control , 1992 .

[7] B. Krogh,et al. On closed-loop liveness of discrete event systems under maximally permissive control , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.