{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T19:33:33Z","timestamp":1769974413680,"version":"3.49.0"},"reference-count":30,"publisher":"MDPI AG","issue":"20","license":[{"start":{"date-parts":[[2022,10,15]],"date-time":"2022-10-15T00:00:00Z","timestamp":1665792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2018YFB1700500"],"award-info":[{"award-number":["2018YFB1700500"]}]},{"name":"National Key Research and Development Program of China","award":["202102020882"],"award-info":[{"award-number":["202102020882"]}]},{"name":"Science and Technology Planning Project of Guangzhou City","award":["2018YFB1700500"],"award-info":[{"award-number":["2018YFB1700500"]}]},{"name":"Science and Technology Planning Project of Guangzhou City","award":["202102020882"],"award-info":[{"award-number":["202102020882"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>Recent technological advancements and the evolution of industrial manufacturing paradigms have substantially increased the complexity of product-specific production systems. To reduce the time cost of modelling and verification and to enhance the degree of uniformity in the modelling process of system components, this article presents a componentised framework for domain modelling and performance analysis based on the concept of \u201cmulti-granularity and multi-view\u201d for a production line of personalised and customised products, for plug-and-play manufacturing processes to involving a large number of model input parameters. The coloured Petri net tool is utilised as a simulation tool for mapping domain models to computational models for simulation and performance evaluation. This paper presents a method for setting the input parameters of a production system when using WIP, through-put and cycle time as metrics. The results of the performance analysis demonstrate the applicability of the proposed framework and provide direction for the production line\u2019s layout design and scheduling strategy.<\/jats:p>","DOI":"10.3390\/s22207845","type":"journal-article","created":{"date-parts":[[2022,10,17]],"date-time":"2022-10-17T03:43:58Z","timestamp":1665978238000},"page":"7845","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Formal Performance Evaluation Method for Customised Plug-and-Play Manufacturing Systems Using Coloured Petri Nets"],"prefix":"10.3390","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2107-4204","authenticated-orcid":false,"given":"Ge","family":"Wang","sequence":"first","affiliation":[{"name":"Shien-Ming Wu School of Intelligent Engineering, South China University of Technology, Guangzhou 511400, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Di","family":"Li","sequence":"additional","affiliation":[{"name":"School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou 510640, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiyong","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou 510640, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minghao","family":"Cheng","sequence":"additional","affiliation":[{"name":"School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou 510640, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ziren","family":"Luo","sequence":"additional","affiliation":[{"name":"School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou 510640, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renshun","family":"Liu","sequence":"additional","affiliation":[{"name":"Shien-Ming Wu School of Intelligent Engineering, South China University of Technology, Guangzhou 511400, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2022,10,15]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1109\/TASE.2020.3038034","article-title":"Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems","volume":"19","author":"Zhou","year":"2020","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1016\/j.jmsy.2015.04.008","article-title":"Current status and advancement of cyber-physical systems in manufacturing","volume":"37","author":"Wang","year":"2015","journal-title":"J. Manuf. Syst."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s00170-020-06110-2","article-title":"Concept and engineering development of cyber physical production systems: A systematic literature review","volume":"111","author":"Wu","year":"2020","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/j.procir.2014.10.042","article-title":"Interoperability between OPC UA and AutomationML","volume":"25","author":"Schleipen","year":"2014","journal-title":"Procedia CIRP"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1002\/sys.21276","article-title":"Componentization in the systems modeling language","volume":"17","author":"Bock","year":"2014","journal-title":"Syst. Eng."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10270-019-00773-6","article-title":"Grand challenges in model-driven engineering: An analysis of the state of the research","volume":"19","author":"Bucchiarone","year":"2020","journal-title":"Softw. Syst. Model."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"L\u00f3pez, M., Mart\u00edn, J., Gangoiti, U., Armentia, A., Est\u00e9vez, E., and Marcos, M. (2018, January 18\u201320). Supporting product oriented manufacturing: A model driven and agent based approach. Proceedings of the 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), Porto, Portugal.","DOI":"10.1109\/INDIN.2018.8472069"},{"key":"ref_8","first-page":"819","article-title":"Model-based generation of run-time data collection systems exploiting AutomationML","volume":"66","author":"Mazak","year":"2018","journal-title":"At-Autom"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/j.compind.2015.02.010","article-title":"ProOpter: An advanced platform for production analysis and optimization","volume":"70","author":"Glavan","year":"2015","journal-title":"Comput. Ind."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"608","DOI":"10.2507\/IJSIMM18(4)491","article-title":"Cooperation of simulation and data model for performance analysis of complex systems","volume":"18","author":"Kim","year":"2019","journal-title":"Int. J. Simul. Model."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1287\/opre.44.1.50","article-title":"An analytical method for performance evaluation of kanban controlled production systems","volume":"44","author":"Mascolo","year":"1996","journal-title":"Oper. Res."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/j.ijpe.2007.07.011","article-title":"Performance evaluation of production systems monitored by statistical process control and off-line inspections","volume":"120","author":"Colledani","year":"2009","journal-title":"Int. J. Prod. Econ."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1016\/j.ijpe.2007.06.008","article-title":"Simulating an agile, synchronized manufacturing system","volume":"112","author":"Carlson","year":"2008","journal-title":"Int. J. Prod. Econ."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/TASE.2015.2434054","article-title":"Efficient Algorithms for Analysis and Improvement of Flexible Manufacturing Systems","volume":"13","author":"Zhao","year":"2016","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1016\/j.cirp.2013.03.045","article-title":"Semantic Virtual Factory supporting interoperable modelling and evaluation of production systems","volume":"62","author":"Terkaj","year":"2013","journal-title":"CIRP Annals"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.procir.2015.04.023","article-title":"A Virtual Factory Data Model as a Support Tool for the Simulation of Manufacturing Systems","volume":"28","author":"Terkaj","year":"2015","journal-title":"Procedia CIRP"},{"key":"ref_17","unstructured":"Zimmermann, A., Dalkowski, K., and Hommel, G. (1996, January 28). A case study in modeling and performance evaluation of manufacturing systems using colored petri nets. Proceedings of the 8th European Simulation Symposium (ESS\u201996), Genoa, Italy."},{"key":"ref_18","unstructured":"Elwany, M.H., Asfour, S.S., and Eltawil, A.B. (1996, January 2\u20134). Performance Analysis of Open Production Lines Using Colored Petri Nets. Proceedings of the 8th Cairo University International Conference on Mechanical Design and Production, Cairo, Egypt."},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Blaga, F., Pop, A., Hule, V., and Indre, C. (2021, January 27\u201328). The efficiency of modeling and simulation of manufacturing systems using Petri nets. Proceedings of the IOP Conference Series: Materials Science and Engineering, 2021, Oradea, Romania.","DOI":"10.1088\/1757-899X\/1169\/1\/012005"},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Rak, T., and Samolej, S. (2008, January 20\u201322). Distributed internet systems modeling using tcpns. Proceedings of the 2008 International Multiconference on Computer Science and Information Technology, Wisla, Poland.","DOI":"10.1109\/IMCSIT.2008.4747298"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1016\/j.compind.2009.10.008","article-title":"Digital enterprise solution for integrated production planning and control","volume":"61","author":"Monostori","year":"2010","journal-title":"Comput. Ind."},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Terkaj, W., and Urgo, M. (2014, January 27\u201330). Ontology-based modeling of production systems for design and performance evaluation. Proceedings of the 2014 12th IEEE International Conference on Industrial Informatics (INDIN), Porto Alegre, RS, Brazil.","DOI":"10.1109\/INDIN.2014.6945606"},{"key":"ref_23","unstructured":"More, M., Bhatwadekar, S., and Ambekar, M.M. (2017). Analysis of flexible manufacturing system using Petri nets to design a deadlock avoidance policy. Int. J. Eng., 10, Available online: https:\/\/www.ripublication.com\/irph\/ijert_spl17\/ijertv10n1spl_121.pdf."},{"key":"ref_24","unstructured":"Kaid, H., El-Tamimi, A.M., Nasr, E.A., and Al-Ahmari, A. (2015, January 10\u201311). Applications of Petri nets based models in manufacturing systems: A review. Proceedings of the International Conference on Operations Excellence & Service Engineering, Orlando, FL, USA."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"\u010capkovi\u010d, F. (2015, January 23\u201325). Modelling a robotic cell and analysis its throughput by Petri nets. Proceedings of the Asian Conference on Intelligent Information and Database Systems, Bali, Indonesia.","DOI":"10.1007\/978-3-319-15702-3_26"},{"key":"ref_26","first-page":"8","article-title":"Modeling and simulation of a manufacturing system by using time Petri net","volume":"1","author":"Da","year":"2016","journal-title":"Networks"},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"3734","DOI":"10.1080\/00207543.2013.765071","article-title":"Modelling and simulation of automated manufacturing systems for evaluation of complex schedules","volume":"51","author":"Kim","year":"2013","journal-title":"Int. J. Prod. Res."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems","volume":"9","author":"Jensen","year":"2007","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1109\/2.585163","article-title":"Model-integrated computing","volume":"30","author":"Sztipanovits","year":"1997","journal-title":"Computer"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Di, L., Nan, Z., Jiafu, W., Zhenkun, Z., and Vasilakos, A.V. (2016, January 19\u201321). Towards a model-integrated computing paradigm for reconfigurable motion control system. Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics (INDIN), Poitiers, France.","DOI":"10.1109\/INDIN.2016.7819260"}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/22\/20\/7845\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T00:54:58Z","timestamp":1760144098000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/22\/20\/7845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,15]]},"references-count":30,"journal-issue":{"issue":"20","published-online":{"date-parts":[[2022,10]]}},"alternative-id":["s22207845"],"URL":"https:\/\/doi.org\/10.3390\/s22207845","relation":{},"ISSN":["1424-8220"],"issn-type":[{"value":"1424-8220","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,10,15]]}}}