{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:49:32Z","timestamp":1771573772714,"version":"3.50.1"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031336195","type":"print"},{"value":"9783031336201","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-33620-1_2","type":"book-chapter","created":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T08:02:05Z","timestamp":1685174525000},"page":"16-33","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal Modelling, Analysis, and\u00a0Synthesis of\u00a0Modular Industrial Systems Inspired by\u00a0Net Condition\/Event Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3371-6075","authenticated-orcid":false,"given":"Midhun","family":"Xavier","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2936-4185","authenticated-orcid":false,"given":"Sandeep","family":"Patil","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5761-2249","authenticated-orcid":false,"given":"Victor","family":"Dubinin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9315-9920","authenticated-orcid":false,"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,5,28]]},"reference":[{"key":"2_CR1","unstructured":"Function Blocks for Industrial Process Measurement and Control Systems, IEC 61499 Standard. International Electrotechnical Commission, Tech. Comm. 65, Working group 6, Geneva (2005)"},{"key":"2_CR2","unstructured":"Visual verifier (2008). http:\/\/www.fb61499.com\/license.html"},{"issue":"2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"22","DOI":"10.3182\/20080706-5-KR-1001.00003","volume":"41","author":"G \u010cengi\u0107","year":"2008","unstructured":"\u010cengi\u0107, G., \u00c5kesson, K.: A control software development method using IEC 61499 function blocks, simulation and formal verification. IFAC Proc. Volumes 41(2), 22\u201327 (2008)","journal-title":"IFAC Proc. Volumes"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Cengic, G., Akesson, K.: Definition of the execution model used in the fuber IEC 61499 runtime environment. In: 2008 6th IEEE International Conference on Industrial Informatics, pp. 301\u2013306. IEEE (2008)","DOI":"10.1109\/INDIN.2008.4618113"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Cengic, G., Ljungkrantz, O., Akesson, K.: Formal modeling of function block applications running in IEC 61499 execution runtime. In: 2006 IEEE Conference on Emerging Technologies and Factory Automation, pp. 1269\u20131276. IEEE (2006)","DOI":"10.1109\/ETFA.2006.355187"},{"issue":"4","key":"2_CR6","doi-asserted-by":"publisher","first-page":"83","DOI":"10.3390\/computers8040083","volume":"8","author":"R Davidrajuh","year":"2019","unstructured":"Davidrajuh, R.: A new modular petri net for modeling large discrete-event systems: a proposal based on the literature study. Computers 8(4), 83 (2019)","journal-title":"Computers"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-319-63390-9_31","volume-title":"Computer Aided Verification","author":"C Dehnert","year":"2017","unstructured":"Dehnert, C., Junges, S., Katoen, J.-P., Volk, M.: A storm is coming: a modern probabilistic model checker. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 592\u2013600. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63390-9_31"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Drozdov, D., Patil, S., Dubinin, V., Vyatkin, V.: Formal verification of cyber-physical automation systems modelled with timed block diagrams. In: 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), pp. 316\u2013321. IEEE (2016)","DOI":"10.1109\/ISIE.2016.7744910"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Dubinin, V., Vyatkin, V., Hanisch, H.M.: Synthesis of safety controllers for distributed automation systems on the basis of reverse safe net condition\/event systems. In: 2015 IEEE Trustcom\/BigDataSE\/ISPA, vol. 3, pp. 287\u2013292. IEEE (2015)","DOI":"10.1109\/Trustcom.2015.646"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Fkaier, S., Khalgui, M., Frey, G.: Modeling methodology for reconfigurable distributed systems using transformations from GR-UML to GR-TNCES and IEC 61499. In: ENASE, pp. 221\u2013230 (2021)","DOI":"10.5220\/0010422102210230"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Guellouz, S., Benzina, A., Khalgui, M., Frey, G.: Reconfigurable function blocks: extension to the standard IEC 61499. In: 2016 IEEE\/ACS 13th International Conference of Computer Systems and Applications (AICCSA), pp. 1\u20138. IEEE (2016)","DOI":"10.1109\/AICCSA.2016.7945784"},{"issue":"3","key":"2_CR12","doi-asserted-by":"publisher","first-page":"1110","DOI":"10.1109\/TASE.2018.2868897","volume":"16","author":"S Guellouz","year":"2018","unstructured":"Guellouz, S., Benzina, A., Khalgui, M., Frey, G., Li, Z., Vyatkin, V.: Designing efficient reconfigurable control systems using IEC61499 and symbolic model checking. IEEE Trans. Autom. Sci. Eng. 16(3), 1110\u20131124 (2018)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"2_CR13","unstructured":"Hadjidj, R., Boucheneb, H.: Rt-studio: a tool for modular design and analysis of realtime systems using interpreted time petri nets. In: PNSE+ ModPE, pp. 247\u2013254. Citeseer (2013)"},{"issue":"4","key":"2_CR14","doi-asserted-by":"publisher","first-page":"211","DOI":"10.3182\/20090603-3-RU-2001.0306","volume":"42","author":"HM Hanisch","year":"2009","unstructured":"Hanisch, H.M., Hirsch, M., Missal, D., Preu\u00dfe, S., Gerber, C.: One decade of IEC 61499 modeling and verification-results and open issues. IFAC Proc. Volumes 42(4), 211\u2013216 (2009)","journal-title":"IFAC Proc. Volumes"},{"issue":"4","key":"2_CR15","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s10009-021-00633-z","volume":"24","author":"C Hensel","year":"2022","unstructured":"Hensel, C., Junges, S., Katoen, J.P., Quatmann, T., Volk, M.: The probabilistic model checker storm. Int. J. Softw. Tools Technol. Transfer 24(4), 589\u2013610 (2022)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Meng, X.: Modeling of reconfigurable manufacturing systems based on colored timed object-oriented petri nets. J. Manuf. Syst. 29(2), 81\u201390 (2010). https:\/\/doi.org\/10.1016\/j.jmsy.2010.11.002, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0278612510000518","DOI":"10.1016\/j.jmsy.2010.11.002"},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"14473","DOI":"10.3182\/20080706-5-KR-1001.02452","volume":"41","author":"D Missal","year":"2008","unstructured":"Missal, D., Hanisch, H.M.: A modular synthesis approach for distributed safety controllers, part a: modelling and specification. IFAC Proc. Volumes 41(2), 14473\u201314478 (2008)","journal-title":"IFAC Proc. Volumes"},{"issue":"2","key":"2_CR18","doi-asserted-by":"publisher","first-page":"14479","DOI":"10.3182\/20080706-5-KR-1001.02453","volume":"41","author":"D Missal","year":"2008","unstructured":"Missal, D., Hanisch, H.M.: A modular synthesis approach for distributed safety controllers, part b: modular control synthesis. IFAC Proc. Volumes 41(2), 14479\u201314484 (2008)","journal-title":"IFAC Proc. Volumes"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"61383","DOI":"10.1109\/ACCESS.2021.3073459","volume":"9","author":"P Ovsiannikova","year":"2021","unstructured":"Ovsiannikova, P., Buzhinsky, I., Pakonen, A., Vyatkin, V.: Oeritte: user-friendly counterexample explanation for model checking. IEEE Access 9, 61383\u201361397 (2021)","journal-title":"IEEE Access"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Ovsiannikova, P., Vyatkin, V.: Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pp. 01\u201304. IEEE (2021)","DOI":"10.1109\/ETFA45728.2021.9613491"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Pang, C., Vyatkin, V.: Towards formal verification of IEC 61499: modelling of data and algorithms in NCES. In: 2007 5th IEEE International Conference on Industrial Informatics, vol. 2, pp. 879\u2013884. IEEE (2007)","DOI":"10.1109\/INDIN.2007.4384889"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Pang, C., Vyatkin, V.: Automatic model generation of IEC 61499 function block using net condition\/event systems. In: 2008 6th IEEE International Conference on Industrial Informatics, pp. 1133\u20131138. IEEE (2008)","DOI":"10.1109\/INDIN.2008.4618273"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Patil, S., Bhadra, S., Vyatkin, V.: Closed-loop formal verification framework with non-determinism, configurable by meta-modelling. In: IECON 2011\u201337th Annual Conference of the IEEE Industrial Electronics Society, pp. 3770\u20133775. IEEE (2011)","DOI":"10.1109\/IECON.2011.6119923"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-662-46823-4_7","volume-title":"Perspectives of System Informatics","author":"S Patil","year":"2015","unstructured":"Patil, S., Dubinin, V., Pang, C., Vyatkin, V.: Neutralizing semantic ambiguities of function block architecture by modeling with ASM. In: Voronkov, A., Virbitskaite, I. (eds.) PSI 2014. LNCS, vol. 8974, pp. 76\u201391. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46823-4_7"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Patil, S., Dubinin, V., Vyatkin, V.: Formal verification of IEC61499 function blocks with abstract state machines and SMV-modelling. In: 2015 IEEE Trustcom\/BigDataSE\/ISPA, vol. 3, pp. 313\u2013320. IEEE (2015)","DOI":"10.1109\/Trustcom.2015.650"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Patil, S., Vyatkin, V., Pang, C.: Counterexample-guided simulation framework for formal verification of flexible automation systems. In: 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), pp. 1192\u20131197. IEEE (2015)","DOI":"10.1109\/INDIN.2015.7281905"},{"key":"2_CR27","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Schriften des IIM Nr. 2, Institut fur Instrumentelle Mathematik, Bonn (1962)"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Rausch, M., Hanisch., H.M.: Net condition\/event systems with multiple condition outputs. In: Symposium on Emerging Technologies and Factory Automation, vol. 1, pp. 592\u2013600. INRIA\/IEEE, Paris, France, October 1995","DOI":"10.1109\/ETFA.1995.496811"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Rausch, M., Hanisch, H.M.: Net condition\/event systems with multiple condition outputs. In: Proceedings 1995 INRIA\/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA\u201995, vol. 1, pp. 592\u2013600. IEEE (1995)","DOI":"10.1109\/ETFA.1995.496811"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Schnakenbourg, C., Faure, J.M., Lesage, J.J.: Towards IEC 61499 function blocks diagrams verification. In: IEEE International Conference on Systems, Man and Cybernetics, vol. 3, 6-p. IEEE (2002)","DOI":"10.1109\/ICSMC.2002.1176038"},{"issue":"2","key":"2_CR31","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF01805563","volume":"1","author":"RS Sreenivas","year":"1991","unstructured":"Sreenivas, R.S., Krogh, B.H.: On condition\/event systems with discrete state realizations. Discret. Event Dyn. Syst. 1(2), 209\u2013236 (1991)","journal-title":"Discret. Event Dyn. Syst."},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Starke, P.H., Hanisch, H.M.: Analysis of signal\/event nets. In: 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA\u201997, pp. 253\u2013257. IEEE (1997)","DOI":"10.1109\/ETFA.1997.616278"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Vyatkin, V., Hanisch, H.M.: Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems. In: ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No. 01TH8597), vol. 2, pp. 113\u2013118. IEEE (2001)","DOI":"10.1109\/ETFA.2001.997677"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Vyatkin, V., Hanisch, H.M., Pang, C., Yang, C.H.: Closed-loop modeling in future automation system engineering and validation. IEEE Trans. Syst. Man Cybern. Part C (Appl. Rev.) 39(1), 17\u201328 (2008)","DOI":"10.1109\/TSMCC.2008.2005785"},{"issue":"1","key":"2_CR35","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1177\/0142331208095622","volume":"33","author":"N Wu","year":"2011","unstructured":"Wu, N., Zhou, M.: Intelligent token petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes. Trans. Inst. Meas. Control. 33(1), 9\u201329 (2011)","journal-title":"Trans. Inst. Meas. Control."},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Xavier, M., Dubinin, V., Patil, S., Vyatkin, V.: An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. In: 27th International Conference on Emerging Technologies and Factory Automation (ETFA 2022), Stuttgart, Germany, 6\u20139 September 2022. IEEE (2022)","DOI":"10.1109\/ETFA52439.2022.9921602"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Xavier, M., Dubinin, V., Patil, S., Vyatkin, V.: Plant model generation from event log using prom for formal verification of cps. arXiv preprint arXiv:2211.03681 (2022)","DOI":"10.1109\/ETFA45728.2021.9613704"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Xavier, M., Dubinin, V., Patil, S., Vyatkin, V.: Process mining in industrial control systems. In: 2022 IEEE 20th International Conference on Industrial Informatics (INDIN), pp. 1\u20136. IEEE (2022)","DOI":"10.1109\/INDIN51773.2022.9976111"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Xavier, M., H\u00e5kansson, J., Patil, S., Vyatkin, V.: Plant model generator from digital twin for purpose of formal verification. In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1\u20134. IEEE (2021)","DOI":"10.1109\/ETFA45728.2021.9613704"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Xavier, M., Patil, S., Vyatkin, V.: Cyber-physical automation systems modelling with IEC 61499 for their formal verification. In: 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), pp. 1\u20136. IEEE (2021)","DOI":"10.1109\/INDIN45523.2021.9557416"},{"issue":"1","key":"2_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/LES.2010.2042275","volume":"2","author":"LH Yoong","year":"2010","unstructured":"Yoong, L.H., Roop, P.S.: Verifying IEC 61499 function blocks using Esterel. IEEE Embed. Syst. Lett. 2(1), 1\u20134 (2010)","journal-title":"IEEE Embed. Syst. Lett."},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Zhang, J., et al.: Modeling and verification of reconfigurable and energy-efficient manufacturing systems. Discret. Dyn. Nat. Soc. 2015 (2015)","DOI":"10.1155\/2015\/813476"},{"issue":"4","key":"2_CR43","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1109\/TSMCA.2012.2217321","volume":"43","author":"J Zhang","year":"2013","unstructured":"Zhang, J., Khalgui, M., Li, Z., Mosbahi, O., Al-Ahmari, A.M.: R-TNCES: a novel formalism for reconfigurable discrete event control systems. IEEE Trans. Syst. Man Cybern. Syst. 43(4), 757\u2013772 (2013)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Zhang, J., Li, H., Frey, G., Li, Z.: Shortest legal firing sequence of net condition\/event systems using integer linear programming. In: 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE), pp. 1556\u20131561. IEEE (2018)","DOI":"10.1109\/COASE.2018.8560459"},{"issue":"6","key":"2_CR45","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1080\/02533839.2018.1504694","volume":"41","author":"J Zhang","year":"2018","unstructured":"Zhang, J., Li, Z., Frey, G.: Simulation and analysis of reconfigurable assembly systems based on R-TNCES. J. Chin. Inst. Eng. 41(6), 494\u2013502 (2018)","journal-title":"J. Chin. Inst. Eng."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-33620-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T06:14:10Z","timestamp":1729491250000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-33620-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031336195","9783031336201"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-33620-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"28 May 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/petrinets2023.deec.fct.unl.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"45% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}