A timed Petri net and beam search based online FMS scheduling system with routing flexibility

The authors propose an online FMS (flexible manufacturing system) scheduling system that takes into consideration the routing flexibility. A timed Petri net representation of the production system associated with a beam search based decision method is proposed to solve the scheduling conflicts. The system is presented and its performance is evaluated using an example of a FMS with three machines, manufacturing four products with routing flexibility. In addition to its very good results, the system was reliable, as the variance of the results of 50 different simulations was very small.<<ETX>>

[1]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[2]  Itsuo Hatono,et al.  Modeling of FMS under certainty using stochastic Petri nets-an application to rule-based on-line scheduling , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[3]  Kimon P. Valavanis On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets , 1990, IEEE Trans. Syst. Man Cybern..

[4]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[5]  Jean-Claude Gentina,et al.  Coloured adaptive structured Petri-net: A tool for the automatic synthesis of hierarchical control of Flexible Manufacturing Systems (F.M.S.) , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[6]  T. Sekiguchi,et al.  Petri-net based representation and acquisition of knowledge in sequential control systems , 1990, [Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society.

[7]  Didier Dubois,et al.  Using Petri nets to represent production processes , 1983, The 22nd IEEE Conference on Decision and Control.

[8]  P. Ow,et al.  Filtered beam search in scheduling , 1988 .

[9]  Michael Jeng-Ping Shaw Knowledge-based scheduling in flexible manufacturing systems: an integration of pattern-directed inference and heuristic search , 1988 .

[10]  Manuel Silva Suárez,et al.  Modeling, validation and software implementation of production systems using high level Petri nets , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.