Distributed control systems simulation using high level Petri nets1This research has been founded by the Diputación General de Aragón (PIT-11/93) and the European Community (HCM CT94-0452, MATCH).1

To deal with the complexity of the implementation of control systems for flexible manufacturing systems, formal methods of design are needed. In this work the modeling and validation tool selected is high level Petri nets. Based on this approach we have studied the problems that a distributed implementation can introduce. 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 Ada language.