Composing Multi-Resource Systems by Category Theory


Article Preview

This paper proposes a categorical foundation for composing multi-resource in manufacturing systems. The composing procedures of overall system can be explained by pushout of category theory. The purpose of this paper is to resolve the issue involves in resource sharing, coordination and conflict for modeling the distributed manufacturing systems. We will propose a method for modeling discrete event system. The mathematical foundation lies in assuring that the constructed models have mathematical properties, e.g. consistency and completeness, and overcome the drawbacks of traditional function models, since it can show not only the static structure of resources but also the behavioral semantics of resources. The categorical notations and properties are to be expressed by a workcell example.



Edited by:

Ran Chen




H. F. Lai, "Composing Multi-Resource Systems by Category Theory", Applied Mechanics and Materials, Vols. 44-47, pp. 4131-4135, 2011

Online since:

December 2010





[1] Y.K. Kim, K. Park and J. Ko: A symbiotic evolutionary algorithm for the integration of process planning and job shop scheduling. Computers & Operations Research Vol. 30 (2003), p.1151.


[2] J. Zhang, B. Chuah, E. Cheung and Z. Deng: Information modelling for manufacturing systems: A case study. Robotics and Computer-Integrated Manufacturing Vol. 12 (1996), p.217.


[3] V. Albino, P. Pontrandolfo and B. Scozzi: Analysis of information flows to enhance the coordination of production processes. International Journal of Production Economics Vol. 75 (2002), p.7.


[4] W.H. Jeng and G.R. Liang: Reliable automated manufacturing system design based on SMT framework. Computers in Industry Vol. 35 (1998), p.121.


[5] A. Parrish, B. Dixon and D. Cordes: A conceptual foundation for component-based software deployment. Journal of Systems and Software Vol. 57 (2001), p.193.


[6] G. Winskel: Petri nets, algebras, morphisms, and compositionality. Information and Computation Vol. 72 (1987), p.197.


[7] N. Khurshid, O. Ormandjieva and S. Klasa, Towards a Tool Support for Specifying Complex Software Systems by Categorical Modeling Language, Software Engineering Research, Management and Applications, p.133 (Springer-Verlag, Berlin Heidelberg 2010).


[8] J. Adámek: Theory of Mathematical Structures (Reidel, Dordrecht 1983).

[9] D. Rydeheard and R. Burstall: Computational category theory (Prentice Hall, New York 1988).

[10] J.F. Costa, A. Sernadas and C. Sernadas: Object inheritance beyond subtyping. Acta Informatica Vol. 31 (1994), p.5.


[11] H.F. Lai and C.E. Lee: A Hybrid Specification Method for the Design of a Workcell Controller in Manufacturing Systems. The International Journal of Advanced Manufacturing Technology Vol. 17 (2001), p.928.