Formal modelling of a sheet metal smart manufacturing system by using Petri nets and first-order predicate logic

Juan Lu, Chengyi Ou, Chen Liao, Zhenkun Zhang, Kai Chen and Xiaoping Liao ()
Additional contact information
Juan Lu: Guangxi University
Chengyi Ou: Guangxi Automobile Group Co., Ltd.
Chen Liao: Pengcheng Laboratory of Shenzhen Cyberspace Laboratory
Zhenkun Zhang: Guangxi University
Kai Chen: Guangxi University
Xiaoping Liao: Guangxi University

Journal of Intelligent Manufacturing, 2021, vol. 32, issue 4, No 9, 1043-1063

Abstract: Abstract 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).

Keywords: Smart CAD/CAM; High-level petri nets; Object-oriented programming; First-order predicate logic; Process planning; Layout design (search for similar items in EconPapers)
Date: 2021
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://link.springer.com/10.1007/s10845-020-01602-0 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:joinma:v:32:y:2021:i:4:d:10.1007_s10845-020-01602-0

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10845

DOI: 10.1007/s10845-020-01602-0

Access Statistics for this article

Journal of Intelligent Manufacturing is currently edited by Andrew Kusiak

More articles in Journal of Intelligent Manufacturing from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().