Ph.D. Thesis, pages 1-146 pp.. Toulouse, France: Centre National de la Recherche Scientifique, Lab. d'Automatique et d'Analyse des Systemes, 1990. In French.
Abstract: A simultaneous utilization of artificial intelligence and Petri nets techniques is presented. The main classes of high level Petri nets and the possibilities to include time in the models were examined and compared. For the implementation of rule based systems controlled by Petri nets, the Petri net tokens player techniques were simultaneously used with the production rules compilation techniques. A conservative distributed simulation approach is developed and the example of a manufacturing system is given.
Keywords: manufacturing system(s) control coordination level; rule-based system; high level net; conservative distributed simulation approach.