For the most recent entries see the Petri Nets Newsletter.

A modular approach to the specification and validation of the production flexible systems command.

Ben Ahmed, S.; Moalla, M.; Estaban, P.; Courvoisier, M.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography