In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'93), 17-20 October 1993, Le Touquet, France, Vol. 1, pages 30-35. 1993.
Abstract: The paper proposes a specification and validation method for the production automated systems command. This method is based on a hierarchical structuring of the command, which is expressed by entities provided with functions and communicating by definite interfaces. The entity specification approach is based on the Ward and Mellor method of the real-time structured analysis. The description of command functions within each entity is carried out be means of an object Petri net with some possibilities of multi-level analysis.
Keywords: flexible manufacturing systems, multi-level validation, object Petri nets, real-time control, structural analysis.