Skip to main content
SpringerLink
Log in

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

  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

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

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20
Fig. 21
Fig. 22
Fig. 23
Fig. 24
Fig. 25
Fig. 26
Fig. 27
Fig. 28

Similar content being viewed by others

References

  • Akin, O. (1978). How do architects design.

  • André, É., Benmoussa, M. M., & Choppy, C. (2016). Formalising concurrent UML state machines using coloured Petri nets. Formal Aspects of Computing, 28(5), 805–845.

    Article  Google Scholar 

  • Bennell, J. A., & Oliveira, J. F. (2008). The geometry of nesting problems: A tutorial. European Journal of Operational Research, 184(2), 397–415.

    Article  Google Scholar 

  • Bonnard, R., Hascoët, J. Y., Mognol, P., & Stroud, I. (2018). STEP-NC digital thread for additive manufacturing: Data model, implementation and validation. International Journal of Computer Integrated Manufacturing, 31(11), 1141–1160.

    Article  Google Scholar 

  • Burke, E. K., Hellier, R. S. R., Kendall, G., et al. (2007). Complete and robust no-fit polygon generation for the irregular stock cutting problem. European Journal of Operational Research, 179(1), 27–49.

    Article  Google Scholar 

  • Chang, C. C., & Keisler, H. J. (1990). Model theory. Amstredam: Elsevier.

    Google Scholar 

  • D’Souza, K. A. (1991). Modeling concurrent manufacturing systems using petri nets. CAD/CAM robotics and factories of the future’90 (pp. 271–280). Berlin: Springer.

    Google Scholar 

  • Delmia. (2000). Virtual NC. Retrieved from https://www.delmia.com/gallery/pdf/DELMIA_VirtualNC.pdf.

  • Fendri, D., & Chaabene, M. (2019). Hybrid Petri Net scheduling model of household appliances for optimal renewable energy dispatching. Sustainable Cities and Society, 45, 151–158.

    Article  Google Scholar 

  • Fowler, R. J., Paterson, M. S., & Tanimoto, S. L. (1981). Optimal packing and covering in the plane are NP-complete. Information Processing Letters, 12(3), 133–137.

    Article  Google Scholar 

  • Furia, C. A., Nordio, M., Polikarpova, N., et al. (2017). AutoProof: Auto-active functional verification of object-oriented programs. International Journal on Software Tools for Technology Transfer, 19(6), 697–716.

    Article  Google Scholar 

  • Gaied, M., M’halla, A., Lefebvre, D., & Ben Othmen, K. (2019). Robust control for railway transport networks based on stochastic P-timed Petri net models. Journal of Systems and Control Engineering, 233(7), 830–846.

    Google Scholar 

  • Hsieh, F. S. (2017). A hybrid and scalable multi-agent approach for patient scheduling based on Petri net models. Applied Intelligence, 47(4), 1068–1086.

    Article  Google Scholar 

  • Kendall, G., & Whitwell, G. (2006). A new bottom-left-fill heuristic algorithm for the two-dimensional irregular packing problem. Operations Research, 54(3), 587–601.

    Article  Google Scholar 

  • Kis, T., Kiritsis, D., Xirouchakis, P., & Neuendorf, K. P. (2000). A Petri net model for integrated process and job shop production planning. Journal of Intelligent Manufacturing, 11(2), 191–207.

    Article  Google Scholar 

  • Klancnik, S., Brezocnik, M., & Balic, J. (2016). Intelligent CAD/CAM system for programming of CNC machine tools. International Journal of Simulation Modelling, 15(1), 109–120.

    Article  Google Scholar 

  • Lai, C. L., Liu, C., & Zhang, X. J. (2012). A digital system implement for aircraft sheet metal cutting. In B. Rajendraprasath, P. P. Tamil, M. F. Shabir, P. K. Devan, & S. Vigneshvaran (Eds.), Applied mechanics and materials (pp. 1637–1642). Brisbane: Trans Tech Publications.

    Google Scholar 

  • Liao, X., Ma, J., Ou, C., et al. (2016). Visual nesting system for irregular cutting-stock problem based on rubber band packing algorithm. Advances in Mechanical Engineering, 8(6), 1687814016652080.

    Article  Google Scholar 

  • Liao, X, Zhang, X. F., & Jiang, J. (2005). Petri net-based modeling of switching arrangements and simulation. In: IEEE international conference mechatronics and automation (vol. 3, 99. 1545–1550). IEEE.

  • Lin, Z. C., & Deng, C. H. (2001). Application of Petri Net in the planning of a shearing-cut and bending progressive die workstation. International Journal of Materials and Product Technology, 16(6–7), 579–591.

    Article  Google Scholar 

  • Liu, S. (2014). Formal modeling and analysis techniques for high level Petri nets.

  • Mat Seman, N., Jamaludin, Z., & Minhat, M. (2018). System interface design for CAD/CAM-simulink data exchange system using MATLAB. In: Proceedings of symposium, 29 January 2018, intelligent manufacturing & mechatronics Pekan, Pahang, Malaysia (pp. 639–647). Singapore: Springer.

  • Petri, C. A. (1966). Communication with automata.

  • Pişec, I. F., & Blaga, F. S. (2018). Contribution to predefinition of the geometric features and their processing sequences in order to create a CAPP model. MATEC Web of Conferences. EDP Sciences, 178, 05019.

    Article  Google Scholar 

  • Pranevicius, H. (1998). Formal specification and analysis of distributed systems. Journal of Intelligent Manufacturing, 9(6), 559–569.

    Article  Google Scholar 

  • Rauch, M., Laguionie, R., Hascoet, J. Y., & Suh, S. H. (2012). An advanced STEP-NC controller for intelligent machining processes. Robotics and Computer-Integrated Manufacturing, 28(3), 375–384.

    Article  Google Scholar 

  • Rinke, N., von Gösseln, I., Kochkine, V., et al. (2017). Simulating quality assurance and efficiency analysis between construction management and engineering geodesy. Automation in Construction, 76, 24–35.

    Article  Google Scholar 

  • Shen, V. R., Yang, C. Y., Shen, R. K., & Chen, Y. C. (2018). Application of Petri nets to deadlock avoidance in iPad-like manufacturing systems. Journal of Intelligent Manufacturing, 29(6), 1363–1378.

    Article  Google Scholar 

  • Si, Y. W., Chan, V. I., Dumas, M., et al. (2018). A Petri Nets based Generic Genetic Algorithm framework for resource optimization in business processes. Simulation Modelling Practice and Theory, 86, 72–101.

    Article  Google Scholar 

  • Silva, M., & Valette, R. (1988). Petri nets and flexible manufacturing. Lecture Notes in Computerence, 424, 374–417.

    Article  Google Scholar 

  • Stoyan, Y., Pankratov, A., & Romanova, T. (2016). Cutting and packing problems for irregular objects with continuous rotations: Mathematical modelling and non-linear optimization. Journal of the Operational Research Society, 67(5), 786–800.

    Article  Google Scholar 

  • Tait, W. W. (2015). First-order logic without bound variables: compositional semantics. Outstanding contributions to logic (pp. 359–384). Cham: Springer.

    Google Scholar 

  • Technomatix. (2000). ROBCAD. Retrieved from February https://www.tecnomatix.com.

  • Tu, Y. L., & Xie, S. Q. (2001). An information modelling framework to support intelligent concurrent design and manufacturing of sheet metal parts. The International Journal of Advanced Manufacturing Technology, 18(12), 873–883.

    Article  Google Scholar 

  • Vosniakos, G. C., & Gogouvitis, X. V. (2015). Structured design of flexibly automated manufacturing cells through semantic models and petri nets in a virtual reality environment. International Journal on Interactive Design and Manufacturing (IJIDeM), 9(1), 45–63.

    Article  Google Scholar 

  • Vosniakos, G. C., Segredou, I., & Giannakakis, T. (2005). Logic programming for process planning in the domain of sheet metal forming with progressive dies. Journal of Intelligent manufacturing, 16(4–5), 479–497.

    Article  Google Scholar 

  • Wang, C., Chen, B., Liu, Y., et al. (2018). Layered Object-Oriented Programming: Advanced VTable reuse attacks on binary-level defense. IEEE Transactions on Information Forensics and Security, 14(3), 693–708.

    Article  Google Scholar 

  • Wang, Y., Xiao, R., & Wang, H. (2017). A flexible labor division approach to the polygon packing problem based on space allocation. International Journal of Production Research, 55(11), 3025–3045.

    Article  Google Scholar 

  • Wang, Z., Du, P., & Yu, Y. (2009). An intelligent modeling and analysis method of manufacturing process using the first-order predicate logic. Computers & Industrial Engineering, 56(4), 1559–1565.

    Article  Google Scholar 

  • Wu, Z., Rollmann, T., & Anderl, R. (2008). Information modeling and representation of sheet metal parts with higher order bifurcations. In: Proceedings of the 7th workshop on integrated product development, Magdeburg, Germany, 17–19 September 2008. IPD.

  • Xie, S. Q., Tu, P. L., Aitchison, D., Dunlop, R., & Zhou, Z. D. (2001). A WWW-based integrated product development platform for sheet metal parts intelligent concurrent design and manufacturing. International Journal of Production Research, 39(17), 3829–3852.

    Article  Google Scholar 

  • Zhang, X., & Li, X. (2014). A semantic study of the first-order predicate logic with uncertainty involved. Fuzzy Optimization & Decision Making, 13(4), 357–367.

    Article  Google Scholar 

Download references

Acknowledgements

This research was supported by National Natural Science Foundation of China (NSFC) (Grant Number 51665005), Innovation Project of Guangxi Graduate Education (Grant Number YCBZ2017015), and Guangxi Key Laboratory of Manufacturing Systems and Advanced Manufacturing Technology (Grant No. 17-259-05S008).

Author information

Authors and Affiliations

  1. Guangxi Key Laboratory of Manufacturing Systems and Advance Manufacturing Technology, Guangxi University, Nanning, 530004, China

    Juan Lu & Xiaoping Liao

  2. Department of Mechanical and Marine Engineering, Beibu Gulf University, Qinzhou, 535011, China

    Juan Lu

  3. Department of Mechanical Engineering, Guangxi University, Nanning, 530004, China

    Zhenkun Zhang & Kai Chen

  4. Guangxi Automobile Group Co., Ltd., Liuzhou, China

    Chengyi Ou

  5. Pengcheng Laboratory of Shenzhen Cyberspace Laboratory, Shenzhen, 518055, China

    Chen Liao

Authors
  1. Juan Lu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Chengyi Ou
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chen Liao
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Zhenkun Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Kai Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Xiaoping Liao
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xiaoping Liao.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations'' (in Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Lu, J., Ou, C., Liao, C. et al. Formal modelling of a sheet metal smart manufacturing system by using Petri nets and first-order predicate logic. J Intell Manuf 32, 1043–1063 (2021). https://doi.org/10.1007/s10845-020-01602-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10845-020-01602-0

Keywords

Search

Navigation