Corrections to 'Finite buffer realization of input-output discrete event systems'

摘要

This paper presents a correction to theorem 4 in the above paper by the authors (see ibid., vol.40, no.6, p.1042-53, 1995) which provides a necessary and sufficient condition for dispatchability.