{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T09:47:32Z","timestamp":1767260852568,"version":"build-2065373602"},"reference-count":71,"publisher":"MDPI AG","issue":"19","license":[{"start":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T00:00:00Z","timestamp":1601251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2019\/35\/B\/ST6\/01683"],"award-info":[{"award-number":["2019\/35\/B\/ST6\/01683"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>In this paper, we study selected aspects of determinism in the control part of a cyber-physical system (CPS) that is specified by a Petri net-based model. In particular, the control interpreted Petri nets (CIPNs) are applied, which are an extension of the ordinary Petri nets, supplemented by signals (related to sensors and actuators) that permit communication with the environment. The notions of weak and strong determinism in a system described by a CIPN are introduced in the paper. The proposed concepts are supported by formal definitions and theorems. Moreover, a novel modelling methodology for a deterministic system specified by a CIPN is proposed. The presented solutions are illustrated by a case study example of a real-life cyber-physical system. Finally, the results of experimental verification of the proposed determinism-based techniques are demonstrated and discussed.<\/jats:p>","DOI":"10.3390\/s20195565","type":"journal-article","created":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T10:39:58Z","timestamp":1601289598000},"page":"5565","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets"],"prefix":"10.3390","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6829-2263","authenticated-orcid":false,"given":"Remigiusz","family":"Wisniewski","sequence":"first","affiliation":[{"name":"Institute of Automatics, Electronics and Electrical Engineering, University of Zielona G\u00f3ra, 65-417 Zielona G\u00f3ra, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0912-2958","authenticated-orcid":false,"given":"Iwona","family":"Grobelna","sequence":"additional","affiliation":[{"name":"Institute of Automatics, Electronics and Electrical Engineering, University of Zielona G\u00f3ra, 65-417 Zielona G\u00f3ra, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5011-8248","authenticated-orcid":false,"given":"Andrei","family":"Karatkevich","sequence":"additional","affiliation":[{"name":"Department of Applied Computer Science, AGH University of Science and Technology, 30-059 Krak\u00f3w, Poland"}]}],"member":"1968","published-online":{"date-parts":[[2020,9,28]]},"reference":[{"key":"ref_1","unstructured":"Lee, E.A., and Seshia, S.A. (2016). Introduction to Embedded Systems: A Cyber-Physical Systems Approach, The MIT Press. [2nd ed.]."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1109\/COMST.2015.2410831","article-title":"A Survey on Platoon-Based Vehicular Cyber-Physical Systems","volume":"18","author":"Jia","year":"2016","journal-title":"IEEE Commn. Surv. Tutor."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/s10916-018-0921-x","article-title":"Medical cyber-physical systems: A survey","volume":"42","author":"Dey","year":"2018","journal-title":"J. Med. Syst."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1109\/JSYST.2015.2460747","article-title":"Health-CPS: Healthcare Cyber-Physical System Assisted by Cloud and Big Data","volume":"11","author":"Zhang","year":"2017","journal-title":"IEEE Syst. J."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1049\/iet-cps.2016.0025","article-title":"Designing CPS\/IoT applications for smart buildings and cities","volume":"1","author":"Shih","year":"2016","journal-title":"IET Cyber-Phys. Syst. Theory Appl."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"12360","DOI":"10.1109\/ACCESS.2017.2782881","article-title":"Mobile Cyber Physical Systems: Current Challenges and Future Networking Applications","volume":"6","author":"Guo","year":"2018","journal-title":"IEEE Access"},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Khaitan, S.K., and McCalley, J.D. (2013). Cyber physical system approach for design of power grids: A survey. IEEE Power Energy Soc. Gen. Meet.","DOI":"10.1109\/PESMG.2013.6672537"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/JSYST.2014.2322503","article-title":"Design Techniques and Applications of Cyberphysical Systems: A Survey","volume":"9","author":"Khaitan","year":"2015","journal-title":"IEEE Syst. J."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Hahanov, V. (2018). Cyber Physical Computing for IoT-Driven Services, Springer International Publishing.","DOI":"10.1007\/978-3-319-54825-8"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"63268","DOI":"10.1109\/ACCESS.2018.2875239","article-title":"Identification and Prediction of Urban Traffic Congestion via Cyber-Physical Link Optimization","volume":"6","author":"Huang","year":"2018","journal-title":"IEEE Access"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"4837","DOI":"10.3390\/s150304837","article-title":"The past, present and future of cyber-physical systems: A focus on models","volume":"15","author":"Lee","year":"2015","journal-title":"Sensors"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Zhu, X., Srivastava, G., and Parizi, R.M. (2019). An Efficient Encryption Algorithm for the Security of Sensitive Private Information in Cyber-Physical Systems. Electronic, 8.","DOI":"10.3390\/electronics8111220"},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Yin, Y., Yu, F., Xu, Y., Yu, L., and Mu, J. (2017). Network location-aware service recommendation with random walk in cyber-physical systems. Sensors, 17.","DOI":"10.3390\/s17092059"},{"key":"ref_14","first-page":"3","article-title":"Fundamental Limits of Cyber-Physical Systems Modeling","volume":"1","author":"Lee","year":"2016","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MCS.2011.942051","article-title":"The Impact of Control Technology","volume":"31","author":"Samad","year":"2011","journal-title":"IEEE Control Syst. Mag."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Lee, E.A. (2008, January 5\u20137). Cyber Physical Systems: Design Challenges. Proceedings of the 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), Orlando, FL, USA.","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1142\/S0218194017400010","article-title":"A Framework for Developing Cyber-Physical Systems","volume":"27","author":"He","year":"2017","journal-title":"Int. J. Soft. Eng. Knowl. Eng."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"He, X. (2018, January 16\u201320). Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets. Proceedings of the 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), Lisbon, Portugal.","DOI":"10.1109\/QRS-C.2018.00086"},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"He, X., and Alam, D.M. (2019, January 22\u201326). Hybrid Predicate Transition Nets\u2014A Formal Method for Modeling and Analyzing Cyber-Physical Systems. Proceedings of the 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Sofia, Bulgaria.","DOI":"10.1109\/QRS.2019.00038"},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"23407","DOI":"10.1109\/ACCESS.2019.2899316","article-title":"Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters with Space Vector Modulation","volume":"7","author":"Wojnakowski","year":"2019","journal-title":"IEEE Access"},{"key":"ref_21","first-page":"1177","article-title":"Low-Cost FPGA Hardware Implementation of Matrix Converter Switch Control","volume":"66","year":"2019","journal-title":"IEEE Trans. Circuits Syst. II Express Briefs"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Karsai, G., and Sztipanovits, J. (2008). Model-Integrated Development of Cyber-Physical Systems. Software Technologies for Embedded and Ubiquitous Systems, Springer.","DOI":"10.1007\/978-3-540-87785-1_5"},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Aziz, M.W., and Rashid, M. (2016). Domain Specific Modeling Language for Cyber Physical Systems. Int. Conf. Inf. Syst. Eng., 29\u201333.","DOI":"10.1109\/ICISE.2016.12"},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Pereira, F., and Gomes, L. (2016, January 11\u201313). Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification. Proceedings of the Doctoral Conference on Computing, Electrical and Industrial Systems, Costa de Caparica, Portugal.","DOI":"10.1007\/978-3-319-31165-4_7"},{"key":"ref_25","first-page":"246","article-title":"Modeling Methodologies for Cyber-Physical Systems: Research Field Study on Inherent and Future Challenges","volume":"36","author":"Quadri","year":"2015","journal-title":"Ada User J."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"26076","DOI":"10.1109\/ACCESS.2017.2777438","article-title":"Trustworthiness Modeling and Analysis of Cyber-physical Manufacturing Systems","volume":"5","author":"Yu","year":"2017","journal-title":"IEEE Access"},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1109\/TSG.2011.2160000","article-title":"Petri Net Modeling of Cyber-Physical Attacks on Smart Grid","volume":"2","author":"Chen","year":"2011","journal-title":"IEEE Trans. Smart Grid"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Grobelna, I., Wi\u015bniewski, R., and Wojnakowski, M. (2019, January 14). Specification of Cyber-Physical Systems with the Application of Interpreted Nets. Proceedings of the IECON 2019-45th Annual Conference of the IEEE Industrial Electronics Society, Lisbon, Portugal.","DOI":"10.1109\/IECON.2019.8926908"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Lee, E.A. (2017). Plato and the Nerd. The Creative Partnership of Humans and Technology, MIT Press.","DOI":"10.7551\/mitpress\/11180.001.0001"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Lohstroh, M., and Lee, E.A. (2019, January 2\u20134). Deterministic Actors. Proceedings of the 2019 Forum for Specification and Design Languages (FDL), Southampton, UK.","DOI":"10.1109\/FDL.2019.8876922"},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Lohstroh, M., Schoeberl, M., Goens, A., Wasicek, A., Gill, C., Sirjani, M., and Lee, E.A. (2019, January 2\u20136). Invited: Actors Revisited for Time-Critical Systems. Proceedings of the 2019 56th ACM\/IEEE Design Automation Conference (DAC), Las Vegas, NV, USA.","DOI":"10.1145\/3316781.3323469"},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Wang, J. (1998). Deterministic Timed Petri Nets. Timed Petri Nets, Springer.","DOI":"10.1007\/978-1-4615-5537-7"},{"key":"ref_33","unstructured":"Zijal, R., and Gianfranco, C. (1996). Discrete Deterministic and Stochastic Petri Nets, Institute for Computer Applications in Science and Engineering. No. ICASE-96-72."},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1109\/TCST.2017.2692204","article-title":"Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs","volume":"26","author":"Karatkevich","year":"2018","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Costelha, H., and Lima, P. (November, January 29). Modelling, analysis and execution of robotic tasks using Petri nets. Proceedings of the 2007 IEEE\/RSJ International Conference on Intelligent Robots and Systems, San Diego, CA, USA.","DOI":"10.1109\/IROS.2007.4399365"},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/TSMC.2014.2342199","article-title":"Control Program Design for Automated Guided Vehicle Systems via Petri Nets","volume":"45","author":"Luo","year":"2015","journal-title":"IEEE Trans. Syst. ManCybern. Syst."},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1177\/02783640022066743","article-title":"Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications","volume":"19","author":"Montano","year":"2000","journal-title":"Int. J. Robot. Res."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1109\/TSMC.2013.2248358","article-title":"Modeling and Validating E-Commerce Business Process Based on Petri Nets","volume":"44","author":"Yu","year":"2014","journal-title":"IEEE Trans. Syst. ManCybern. Syst."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: Properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"ref_40","first-page":"169","article-title":"Petri nets in ASIC design","volume":"3","author":"Adamski","year":"1993","journal-title":"Appl. Math. Comput. Sci."},{"key":"ref_41","unstructured":"Karatkevich, A. (2007). Dynamic Analysis of Petri Net-Based Discrete Systems, Springer."},{"key":"ref_42","unstructured":"Ran, N., Hao, J., He, Z., and Seatzu, C. (2009, January 15\u201318). Diagnosability analysis of bounded Petri nets. Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, Shanghai, China."},{"key":"ref_43","doi-asserted-by":"crossref","first-page":"269","DOI":"10.2478\/amcs-2018-0019","article-title":"On\u2013the\u2013fly diagnosability analysis of bounded and unbounded labeled petri nets using verifier nets","volume":"28","author":"Ben","year":"2018","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.sysarc.2018.06.005","article-title":"Model checking of reconfigurable FPGA modules specified by Petri nets","volume":"89","author":"Grobelna","year":"2018","journal-title":"J. Syst. Archit."},{"key":"ref_45","unstructured":"Szpyrka, M., Biernacka, A., and Biernacki, J. (1, January September). Methods of Translation of Petri Nets to NuSMV Language. Proceedings of the CEUR Workshop, Chemnitz, Germany."},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"1734","DOI":"10.1109\/TII.2017.2702564","article-title":"Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices","volume":"13","author":"Gomes","year":"2017","journal-title":"IEEE Trans. Ind. Inform."},{"key":"ref_47","doi-asserted-by":"crossref","first-page":"2856","DOI":"10.1109\/TSMC.2016.2531673","article-title":"Design and Verification of Real-Life Processes with Application of Petri Nets","volume":"47","author":"Grobelna","year":"2017","journal-title":"IEEE Trans. Syst. ManCybern. Syst."},{"key":"ref_48","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","article-title":"Proving the Correctness of Multiprocess Programs","volume":"SE-3","author":"Lamport","year":"1977","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_49","doi-asserted-by":"crossref","unstructured":"Wi\u015bniewski, R. (2017). Prototyping of Concurrent Control Systems Implemented in FPGA Devices, Springer International Publishing.","DOI":"10.1007\/978-3-319-45811-3"},{"key":"ref_50","first-page":"553","article-title":"Geometrical characterization of observability in Interpreted Petri Nets","volume":"41","author":"Ruiz","year":"2005","journal-title":"Kybernetika"},{"key":"ref_51","doi-asserted-by":"crossref","unstructured":"Santoyo-Sanchez, A., P\u00e9rez-Martinez, M.A., De Jes\u00fas-Vel\u00e1squez, C., Aguirre-Salas, L.I., and Alvarez-Ure\u00f1a, M.A. (2010, January 8\u201310). Modeling methodology for NPC\u2019s using interpreted Petri Nets and feedback control. Proceedings of the 2010 7th International Conference on Electrical Engineering Computing Science and Automatic Control, Tuxtla Gutierrez, Mexico.","DOI":"10.1109\/ICEEE.2010.5608669"},{"key":"ref_52","unstructured":"Zakrevskij, A., Pottosin, Y., and Cheremisinova, L. (2009). Design of Logical Control Devices, TUT Press."},{"key":"ref_53","doi-asserted-by":"crossref","unstructured":"Andrzejewski, G. (2005). Hierarchical Petri Nets for Digital Controller design. Design of Embedded Control Systems, Springer.","DOI":"10.1007\/0-387-28327-7_3"},{"key":"ref_54","unstructured":"Szpyrka, M., and Szmuc, T. (2005, January 22\u201325). Application of RTCP-nets for design and analysis of embedded systems. Proceedings of the 12th International Conference on Mixed Design of Integrated Circuits and Systems, Krakow, Poland."},{"key":"ref_55","doi-asserted-by":"crossref","unstructured":"Fernandez, J.L., Sanz, R., Paz, E., and Alonso, C. (2008, January 19\u201323). Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph. Proceedings of the 2008 IEEE International Conference on Robotics and Automation, Pasadena, CA, USA.","DOI":"10.1109\/ROBOT.2008.4543394"},{"key":"ref_56","doi-asserted-by":"crossref","unstructured":"Hummel, T., and Fengler, W. (2005). Design of embedded control systems using hybrid Petri nets. Design of Embedded Control Systems, Springer.","DOI":"10.1007\/0-387-28327-7_12"},{"key":"ref_57","unstructured":"Adamski, M., and Chodan, M. (2000). Modelling of Discrete Control Devices Using SFC, Wydawnictwo Politechniki Zielonog\u00f3rskiej. (In Polish)."},{"key":"ref_58","unstructured":"Steinbach, B., and Zakrevskij, A.D. (2000, January 21\u201322). Parallel Automaton\u2014Basic Model, Properties and High-Level Diagnostics. Proceedings of the 4th International Workshop on Boolean Problems, Freiberg, Germany."},{"key":"ref_59","doi-asserted-by":"crossref","unstructured":"Pottosin, Y.V. (2005). Optimal state assignment of synchronous parallel automata. Design of Embedded Control Systems, Springer.","DOI":"10.1007\/0-387-28327-7_10"},{"key":"ref_60","doi-asserted-by":"crossref","unstructured":"Cheremisinova, L.D. (2005). Optimal state assignment of asynchronous parallel automata. Design of Embedded Control Systems, Springer.","DOI":"10.1007\/0-387-28327-7_11"},{"key":"ref_61","doi-asserted-by":"crossref","unstructured":"David, R., and Alla, H. (2010). Discrete, Continuous, and Hybrid Petri Nets, Springer. [2nd ed.].","DOI":"10.1007\/978-3-642-10669-9"},{"key":"ref_62","unstructured":"\u0141abiak, G. (2012, January 19\u201321). Solving transition conflicts in hierarchical controllers by means of function predicates. Proceedings of the 10th International Workshops on Boolean Problems, Freiberg, Germany."},{"key":"ref_63","doi-asserted-by":"crossref","unstructured":"Christensen, S. (1993). Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. Application and Theory of Petri Nets, Springer. LNCS, 691.","DOI":"10.1007\/3-540-56863-8_47"},{"key":"ref_64","doi-asserted-by":"crossref","unstructured":"Popova-Zeugmann, L. (2013). Time in Petri Nets, Springer.","DOI":"10.1007\/978-3-642-41115-1"},{"key":"ref_65","unstructured":"(2020, September 25). Available online: http:\/\/cpntools.org\/."},{"key":"ref_66","doi-asserted-by":"crossref","first-page":"595","DOI":"10.2478\/amcs-2018-0046","article-title":"Hardware Reduction for Lut\u2013Based Mealy FSMs\u2019","volume":"28","author":"Barkalov","year":"2018","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"ref_67","doi-asserted-by":"crossref","unstructured":"Valmari, A. (1991). Stubborn sets for reduced state space generation. Advances in Petri Nets 1990, Springer. LNCS, 483.","DOI":"10.1007\/3-540-53863-1_36"},{"key":"ref_68","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/1530873.1530881","article-title":"PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets","volume":"36","author":"Dingle","year":"2009","journal-title":"ACM Sigmetrics Perform. Eval. Rev."},{"key":"ref_69","unstructured":"Clarke, E.M., Grumberg, O., and Peled, D.A. (1999). Model Checking, MIT Press."},{"key":"ref_70","first-page":"377","article-title":"Comparative study of switching representation tool with GRAFCET and Petri nets","volume":"23","author":"Valette","year":"1978","journal-title":"Nouv. Autom."},{"key":"ref_71","doi-asserted-by":"crossref","first-page":"223","DOI":"10.15388\/infedu.2020.11","article-title":"Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems","volume":"2","author":"Grobelna","year":"2020","journal-title":"Inform. Educ."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/20\/19\/5565\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T10:14:35Z","timestamp":1760177675000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/20\/19\/5565"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,28]]},"references-count":71,"journal-issue":{"issue":"19","published-online":{"date-parts":[[2020,10]]}},"alternative-id":["s20195565"],"URL":"https:\/\/doi.org\/10.3390\/s20195565","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2020,9,28]]}}}