Applications of Property-Preserving Algebras to Component-Based Manufacturing System Design
Applications of Property-Preserving Algebras to Component-Based Manufacturing System Design
复制标题
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Hejiao Huang;T. Cheung;Xiaolong Wang
中科院分区：
文献类型：
--
作者：
Hejiao Huang;T. Cheung;Xiaolong Wang
本文介绍了几种保性质的Petri网进程代数(PPPA)在制造系统设计描述和验证中的应用。并以基于构件的制造系统(MS)设计为例说明了其应用。PPPA处理以下三个问题：1)使用复合算子集成原始模块以创建最终模型；2)使用位置合并算子处理资源共享；3)使用位置求精算子指定加工和/或装配操作。在其他功能中，PPPA不需要验证复合组件，因为所有运算符都保留了许多属性。因此，如果原语模块满足期望的属性，则每个组合组件，包括系统本身，也满足这些属性。
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 component-based 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.