This paper proposes an algorithm for the construction of an MSC graph from a given set of actual observations of an existing concurrent system which has repetitive subfunctions. When a design representing the current functionality of the existing system is desired, such a graph can be checked for safe realizability and be used as input to existing synthesis techniques to construct the design for the system functionality.
['Guy Vincent Jourdan', 'Hüsnü Yenigün']
Recovering representations of systems with repetitive subfunctions from observations