Previous [ 1] [ 2] [ 3] [ 4] [ 5] [ 6] [ 7] [ 8] [ 9] [ 10] [ 11] [ 12] [ 13] [ 14] [ 15] [ 16] [ 17] [ 18] [ 19] [ 20]

¡@

Journal of Information Science and Engineering, Vol. 23 No. 1, pp. 167-181 (January 2007)

Applications of Property-Preserving Algebras to Component-Based Manufacturing System Design*

He-Jiao Huang, To-Yat Cheung and Xiao-Long Wang
 Department of Computer Science and Technology
Shenzhen Graduate School, Harbin Institute of Technology
Shenzhen 518055, China
E-mail: hjhuang@hitsz.edu.cn, cscheung@alumni.cityu.edu.hk, wangxl@insun.hit.edu.cn

This paper presents the applications of several property-preserving Petri net process algebras (PPPA) to the specification and verification of manufacturing system design. It illustrates the applications by designing a Manufacturing System (MS) with componentbased approach. PPPA handles the following three problems: 1) Integrating the primitive modules by using composite operators to create the final model; 2) Handling resource sharing by using place merging operators; and 3) Specifying the machining and/or assembly operations by using place refinement operators. Among other features, PPPA does not need to verify composite components because all the operators preserve many properties. Hence, if the primitive modules satisfy the desirable properties, each of the composite components, including the system itself, also satisfies these properties.

Keywords: component-based approach, manufacturing system design, Petri net, property- preserving algebra, verification

Full Text (¥þ¤åÀÉ) Retrieve PDF document (200701_09.pdf)

Received December 17, 2004; revised March 2, 2005; accepted March 30, 2005.
Communicated by Ding-Zhu Du.
* This work was financially supported by the China Postdoctoral Science Foundation under grant No. 2005037180, and National Natural Science Foundation of China under grant No. 60435020.