Title: A study of the logical structure of a class of discreet-event systems