System approach to design generic software for real-time control of flexible manufacturing systems

Potentially, flexible manufacturing systems (FMSs) possess the ability to attain efficiency and versatility in small batches, variable mix production. However, the FMS potentiality is not yet fully used, because of the high cost of specific control software. Hence, a generic software, usable in an arbitrary FMS, producing an arbitrary part mix, appears as an important means to minimize programming and re-programming effort. In this context, modeling and control problem formalization emerge as a main issue. In this paper the authors refer to Zeigler's system-theoretic formalism for modeling the dynamics of a generic FMS at the job release and job how levels. The authors' discrete event dynamic system (DEDS) model establishes an abstract comprehensive framework for developing a generic control software at such levels. The model is able to represent both hardware/software components of the FMS and processing activity plans with a common "language". A modular structure underlies the description of both the shop-floor dynamics and control rules. So, the software architecture emerges as a direct consequence of the proposed approach and consists of three main parts: the system state knowledge base, the job release manager and the job flow manager.

[1]  Bruce H. Krogh,et al.  Essentially decision free Petri nets for real-time resource allocation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[2]  Elizabeth Szelke,et al.  Knowledge-based reactive scheduling , 1994 .

[3]  Aleš Mičovský,et al.  TORA: a petri net based tool for rapid prototyping of FMS control systems and its application to assembly , 1991 .

[4]  Stanley B. Gershwin,et al.  An algorithm for the computer control of a flexible manufacturing system , 1983 .

[5]  B. Krogh,et al.  Models for simulation and discrete control of manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[6]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[7]  John S. Edwards.  Knowledge-Based Manufacturing Management , 1992 .

[8]  Stephen F. Smith,et al.  Knowledge-based production management approaches, results and prospects , 1992 .

[9]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[10]  T S Chan,et al.  Modelling of a Controller for a Flexible Manufacturing Cell , 1986 .

[11]  Paul Freedman,et al.  Time, Petri nets, and robotics , 1991, IEEE Trans. Robotics Autom..

[12]  Maria Pia Fanti,et al.  System approach to a generic software specification for flexible manufacturing system job flow management , 1992 .

[13]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[14]  Stanley B. Gershwin,et al.  Real-time production scheduling of an automated cardline , 1985 .

[15]  Mark C. Maletz,et al.  The Manufacturing Game: A Formal Approach to Manufacturing Software , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[16]  R. A. Volz,et al.  Design of integrated manufacturing system control software , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[17]  G. Piscitelli,et al.  Towards a platform for simulating the state-driven real-time control of a flexible manufacturing cell , 1990, [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing.

[18]  MuDer Jeng,et al.  A review of synthesis techniques for Petri nets with applications to automated manufacturing systems , 1993, IEEE Trans. Syst. Man Cybern..

[19]  W.M.P. van der Aalst.  Putting high-level Petri nets to work in industry , 1994 .

[20]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[21]  Solomon L. Pollack,et al.  Decision Tables Theory and Practice , 1971 .

[22]  Suresh K. Khator,et al.  A survey of Petri net applications in modeling controls for automated manufacturing systems , 1994 .

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