This paper proposes algorithms for supervisor synthesis in discrete event system models with distinguishers.Distinguishersare special components responsible to select an enabled event from a group of related refined events. They are a helpful modelling tool, but their use increases the state space and makes supervisor synthesis more difficult. The paper shows how general algorithms for modular or compositional synthesis can be enhanced by considering the special properties of distinguishers. This gives rise to systematic algorithms that compute least restrictive controllable and nonblocking supervisors, while working with only a part of the distinguisher model. A running example of a manufacturing cell illustrates the approach.
展开▼
