In: Mathematics and Computers in Simulation, Vol. 46, No. 1, pages 47-55. 1998.
Abstract: To deal with the complexity of the implementation of control systems for flexible manufacturing systems, formal methods of design are needed. This work uses high-level Petri nets as the modeling and validation tool. This approach is used to study problems introduced by distributed implementation. For the evaluation of different strategies of the model implementation and the scheduling of production tasks, a simulator has been constructed. This simulator has been written in the Ada language.
Keywords: ADA, distributed control systems, distributed simulation, high-level Petri nets, task scheduling.