Timed Petri nets model on bell-type batch annealing process and its simulation using SystemC platform

Based on the analysis of the technical flow of bell-type batch annealing in cold rolling plant, a Timed Petri net model for describing batch annealing process is established in this paper. In order to solve the concurrence and time sequence of annealing process in the course of simulation, the mapping rules between Petri nets and SystemC platform are constructed by using the SystemC simulation platform which is widely employed in the design of large-scale integrated circuit. Accordingly, the simulation model of bell-type batch annealing process is implemented. The simulation result shows the proposed model and simulating method is better than the traditional object oriented discrete event simulation on the simulating speed and the scheduling result.

[1]  D. Pal,et al.  An Efficient Model for Batch Annealing Using a Neural Network , 2006 .

[2]  S. Toumodge.  Applications of Petri Nets in Manufacturing systems; Modeling, Control, and Performance Analysis [Book review] , 1995, IEEE Control Systems.

[3]  Andrew N. Hrymak,et al.  Scheduling of the batch annealing process — deterministic case , 1999 .

[4]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[5]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

[6]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets definitions, properties, and applications , 1991 .

[7]  Dimitris Kiritsis,et al.  A generic Petri net model for dynamic process planning and sequence optimization , 1996 .

[8]  Sung Joo Park,et al.  OPNets: An object-oriented high-level Petri net model for real-time system modeling , 1993, J. Syst. Softw..

[9]  Ricardo Carelli,et al.  A temporised Petri net approach for design, modelling and analysis of flexible production systems , 1997 .

[10]  Wei Wang,et al.  Optimal scheduling method for a bell-type batch annealing shop and its application , 2005 .

[11]  H. Vogt.  Discrete-event simulation using systemC: interactive semiconductor factory modeling with FabSim , 2003, Proceedings of the 2003 Winter Simulation Conference, 2003..

[12]  Jayaram Bhasker.  A SystemC Primer , 2002 .

[13]  N. Venkatesh,et al.  Production scheduling of annealing furnaces , 1982 .

[14]  René David,et al.  Petri nets for modeling of dynamic systems: A survey , 1994, Autom..

[15]  Tao Wu,et al.  Heuristic Algorithm of Scheduling Model for Cold Coils Annealing , 2006, 2006 6th World Congress on Intelligent Control and Automation.

[16]  J. Banks,et al.  Discrete-Event System Simulation , 1995 .

[17]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..