Specification of a Flexible Manufacturing System Using Concurrent Programming

Abstract

Because of the growing complexity, the design of and reasoning about modern industrial systems becomes increasingly difficulty. In order to understand and estimate the dynamic system behaviour, appropriate models have to be used. In many cases, existing mathematical models like queuing networks, Markov chain models, or perturbation analysis cannot be applied. In such cases, usually a model is constructed that can be validated by means of computer simulation. Since industrial systems exhibit concurrency, formalisms developed to reason about con current systems are also well suited for developing models in this specific application area. Models of systems can be expressed, for instance, in terms of Petri nets or in terms of programs written in a concurrent programming language, like Timed CSP. Both approaches, originating from computer science, are increasingly often applied in modelling of manufacturing systems. In this paper, we present a simple modular approach to the specification of (discrete) industrial systems that is based on concurrent programming. As an illustration, we present a model of a flexible manufacturing cell. The specification language used is modular and, therefore, allows for hierarchical modelling. To specify the information and control flows, a VDM-like notation is used.

Keywords

concurrent programming discrete manufacturing systems modelling simulation models specification languages.

Get full access to this article

View all access options for this article.

References

Arentsen, J.H.A. 1989. "Factory Control Architecture. A Systems Approach ," Ph.D. thesis, Department of Mechanical Engineering, Eindhoven University of Technology.

Bird, R. and P. Wadler. 1988. Introduction to Functional Programming . Prentice-Hall.

van Brussel, H. , Y. Peng , and P. Valckenaers. 1993. "Modelling Flexible Manufacturing Systems Based on Petri Nets," Annals of CIRP , 42(1):479-484.

Bums, A. and G. Davies. 1993. Concurrent Programming. "International Computer Science Series," Addison-Wesley.

David, R. and H. Alla. 1994. "Petri Nets for Modeling of Dynamic Systems-A Survey," Automatica, 30(2):175-202.

van Hee, K.M. , L.J. Somers , and M. Voorhoeve. 1989. "Executable Specifications for Distributed Information Systems," In Information System Concepts: An In-Depth Analysis, E. D. Falkenberg and P. Lindgreen , eds., North-Holland.

Hoare, C.A.R. 1995. Communicating Sequential Processes, New York: Prentice Hall .

Hooman, J. 1991. Specification and Compositional Verification of Real-Time Systems, Springer-Verlag.

Koster, J. 1993. "Modelling Industrial Systems: Theory and Applications ," Ph.D. thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology.

10.

Iso 8807. 1989. Information processing systems-Open systems interconnection - LOTOS -A formal description technique based on the temporal ordering of observational behaviour .

11.

Mauw, S. and G.J. Veltink. 1990. "A Process Specification Formalism ," Fundamenta Informaticae, 13:85-139.

12.

Misra, J. 1986. "Distributed Discrete-Event Simulation," Computing Surveys, 18(1):39-65.

13.

van de Mortel-Fronczak, J.M. and J.E. Rooda. "Application of Concurrent Programming to Specification of Industrial Systems," Accepted for INCOM'95 .

14.

van den Nieuwelaar, N.J.M. 1995. "Modelling of Industrial Systems Using Petri Nets and Concurrent Programming—a Comparison," Internal report, WPA, 420051, Department of Mechanical Engineering, Eindhoven University of Technology.

15.

INMOS Limited. 1988. Occam 2 Reference Manual.

16.

Overwater, R. and J.E. Rooda. 1989. "Developing Industrial Systems According to the Process Interaction Approach," In Preptints of IFAC Symposium on Information Control Problems in Manufacturing Technology, E. A. Puente , ed., pp. 171-176.

17.

Reddy, G.B. , S.S.N. Murty , and K. Ghosh. 1993. " Timed Petri Net: An Expeditious Tool for Modelling and Analysis of Manufacturing Systems," Mathematical Computer Modelling, 18(9):17-30.

18.

Silva, M. and R. Valette. 1990. "Petri Nets and Flexible Manufacturing Systems," In Advances in Petri Nets, G. Rozenberg , ed., LNCS, Vol. 24, Springer-Verlag, pp. 374-417.

19.

Smit, H. 1992. "A Hierarchical Control Architecture for Job-Shop Manufacturing Systems," Ph.D. thesis, Department of Mechanical Engineering, Eindhoven University of Technology.

20.

Tanir, O. and S. Sevinc. 1994. "Defining Requirements for a Standard Simulation Environment," Computer, 27(2):28-34.

21.

Turner, J.G. and T.L. McCluskey. 1994. The Construction of Formal Specifications. An Introduction to the Model-Based and Algebraic Approaches, McGraw-Hill.

22.

Verhoulen, P.A.C. and M.M. de Brouwer. 1990. "Two Case Studies in ExSpect," Computing Science Notes, 90/19, Eindhoven University of Technology .

23.

Wortmann. A.M. 1991. "Modelling and Simulations of Industrial Systems," Ph.D. thesis, Department of Mechanical Engineering, Eindhoven University of Technology.