This study introduces a developed method to a smart computer-aided design/manufacturing (CAD/CAM) system, where layout design, process planning, and comprehensive computerized numerical control (CNC) code generation can be implemented to satisfy laser cutting holes, tapping, irregular and complicated profile processing, engraving, and burr back-scraping. The smart CAD/CAM(SCAM) system is developed as a commercial software product or application and firstly applied to flexible sheet metal machining center (BGL 130R). In this study, a formal modeling method involving Petri nets and first-order predicate logic is proposed to develop the smart manufacturing system. High-level Petri nets are employed to achieve the formal application architecture design of data flow for various functions, and the first-order logic used to represent the process plan is defined and deduced according to the machining methods. The developed system possesses the following characteristics: (1) a sound and complete deductive system to implement various types of trajectory planning, automatic generation, and validation of the CNC code; (2) a convenient design input environment and readiness for re-design and modification by adding specific design functions and using standard design procedures on a widely used CAD/CAM package; (3) helpful for designers in sheet metal layout designing, layout interference detection, process planning validation, preprocess manufacturing operation of CNC code generation, and autodefinition of storable file names; and (4) formal and simple in human–computer interaction, automatic and intelligent in process operations, and satisfactory in terms of the requirements of the flexible sheet metal machining center (BGL 130R).

这项研究为智能计算机辅助设计/制造（CAD / CAM）系统引入了一种开发方法，该系统可实现布局设计，工艺规划和全面的计算机数控（CNC）代码生成，从而满足激光切割孔，攻丝，不规则和复杂的轮廓处理，雕刻和毛刺回刮。智能CAD / CAM（SCAM）系统是作为商业软件产品或应用程序开发的，首先应用于柔性钣金加工中心（BGL 130R）。在这项研究中，提出了一种包含Petri网和一阶谓词逻辑的形式化建模方法来开发智能制造系统。使用高级Petri网来实现各种功能的数据流的正式应用程序架构设计，根据加工方法定义和推导用于表示工艺计划的一阶逻辑。所开发的系统具有以下特点：（1）完善，完善的演绎系统，可实现各种轨迹规划，自动生成和CNC代码验证。（2）方便的设计输入环境，并通过在广泛使用的CAD / CAM软件包上添加特定的设计功能并使用标准设计程序来进行重新设计和修改；（3）帮助设计人员进行钣金布局设计，布局干扰检测，过程计划验证，CNC代码生成的预处理制造操作以及可存储文件名的自动定义；（4）人机交互的形式和简单，过程操作的自动和智能，