In: International Journal of Intelligent Control Systems, Vol. 3, No. 3, pages 377-387. 1999.
Abstract: A Special kind of high-level Petri net, or predicate-transition net, named controlled-entity-message/transition (CEM/T) net is introduced in this paper. The advantages of using this net can be explained as follows: (i) it may contain most of the characteristics and messages for various components in the physical system, (ii) it may describe the dynamic states and corresponding behaviors of the system clearly for analyzing and checking both the static and dynamic requirements of the application systems. Using this net an FMS model is created which is able to follow all the complicated job-shop production routines for different parts in various batches. The problems of FMS simulation, monitoring and control are also considered.
Keywords: CEM/T nets, flexible manufacturing systems, high-level Petri nets, predicate/transition nets.