Generalised nonblocking

  title={Generalised nonblocking},
  author={Robi Malik and Ryan J. Leduc},
  journal={2008 9th International Workshop on Discrete Event Systems},
This paper studies the nonblocking check used in supervisory control of discrete event systems and its limitations. Different examples with different liveness requirements are discussed. It is shown that the standard nonblocking check can be used to specify most requirements of interest, but that it lacks expressive power in a few cases. A generalised nonblocking check is proposed to overcome the weakness, and its relationship to standard nonblocking is explored. Results suggest that… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 21 references

Lower bounds for complementation of ω-automata via the full automata technique

  • Q. Yan
  • Logical Methods in Computer Science, vol. 4, no…
  • 2008
1 Excerpt

Similar Papers

Loading similar papers…